Switch to: Citations

References in:

On a second order propositional operator in intuitionistic logic

A. S. Troelstra

Studia Logica 40 (2):113 - 139 (1981)

Add references

You must login to add references.

Choice Sequences. A Chapter of Intuitionistic Mathematics.Richard Vesley - 1979 - Journal of Symbolic Logic 44 (2):275-276.details Logic and Philosophy of Logic Direct download Export citation Bookmark 13 citations
Intuitionism.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..details Areas of Mathematics in Philosophy of Mathematics Direct download (2 more) Export citation Bookmark 101 citations
Metamathematical investigation of intuitionistic arithmetic and analysis.Anne S. Troelstra - 1973 - New York,: Springer.details Intuitionism and Constructivism in Philosophy of Mathematics $65.92 new $69.99 from Amazon View on Amazon.com Direct download Export citation Bookmark 85 citations
Choice sequences: a chapter of intuitionistic mathematics.Anne Sjerp Troelstra - 1977 - Oxford [Eng.]: Clarendon Press.details Intuitionism and Constructivism in Philosophy of Mathematics Direct download (2 more) Export citation Bookmark 28 citations
On formulas of one variable in intuitionistic propositional calculus.Iwao Nishimura - 1960 - Journal of Symbolic Logic 25 (4):327-331.details Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Nonclassical Logics in Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 39 citations
Formal systems for some branches of intuitionistic analysis.G. Kreisel - 1970 - Annals of Mathematical Logic 1 (3):229.details Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 50 citations
On some new intuitionistic propositional connectives. I.Dov M. Gabbay - 1977 - Studia Logica 36 (1-2):127 - 139.details Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Nonclassical Logics in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 10 citations

1