Elementary intuitionistic theories

Journal of Symbolic Logic 38 (1):102-134 (1973)

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,766

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
30 (#385,907)

6 months
1 (#386,989)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Intuitionism, an Introduction.A. Heyting - 1958 - Studia Logica 7:277-278.
Solvable Cases of the Decision Problem.[author unknown] - 1956 - Philosophy 31 (116):92-93.
Elements of Mathematical Logic.C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112-112.
Undecidable Theories.Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.
Deductive Validity and Reduction Classes.V. A. Lifshits - 1969 - In A. O. Slisenko (ed.), Studies in Constructive Mathematics and Mathematical Logic. New York: Consultants Bureau. pp. 26--28.

Add more references

Citations of this work

The Eskolemization of Universal Quantifiers.Rosalie Iemhoff - 2010 - Annals of Pure and Applied Logic 162 (3):201-212.
Some Preservation Theorems in an Intermediate Logic.Seyed M. Bagheri - 2006 - Mathematical Logic Quarterly 52 (2):125-133.

View all 6 citations / Add more citations