A Note on a Subsystem Of Intuitionistic Logic with Constant Domains

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (5):385-387 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19870330502

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Note On A Subsystem Of Intuitionistic Logic With Constant Domains.Pierluigi Minari - 1987 - Mathematical Logic Quarterly 33 (5):385-387.
A note on the existence property for intuitionistic logic with function symbols.L. M. Doorman - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):17-21.
A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic.Kosta Došen - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (5):453-456.
Sheffer Functions in Intuitionistic Logic.G. Rousseau - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (18):279-282.
Model Theory for Intuitionistic Logic.Dov M. Gabbay - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):49-54.
Non-commutative intuitionistic linear logic.V. Michele Abrusci - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (4):297-318.
Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic.Robert E. Kirk - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):409-410.
The judgement calculus for intuitionistic linear logic: Proof theory and semantics.Silvio Valentini - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):39-58.
A Note on Pavelka's Fuzzy Logic.Esko Turunen - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (2-4):39-40.
Harrop Ronald. On the recursivity of finite sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 136–140.Hořejš Jiří. Note on definition of recursiveness. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 119–120. [REVIEW]Charles Parsons - 1968 - Journal of Symbolic Logic 33 (1):115-115.

Analytics

Added to PP
2014-01-16

Downloads
27 (#578,242)

6 months
5 (#837,836)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Pierluigi Minari
Università degli Studi di Firenze

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references