Propositional Calculus and Realizability
- 1 July 1953
- journal article
- Published by JSTOR in Transactions of the American Mathematical Society
- Vol. 75 (1) , 1-19
- https://doi.org/10.2307/1990776
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 11 references indexed in Scilit:
- Introduction to Metamathematics. By S. C. Kleene. Pp. x, 550, Fl. 32.50. 1952. (Noordhoff, Groningen; North-Holland Publishing Co., Amsterdam)The Mathematical Gazette, 1954
- An algebraic characterization of quantifiersFundamenta Mathematicae, 1950
- On the Intuitionistic LogicPublished by Philosophy Documentation Center ,1949
- Proofs of non-deducibility in intuitionistic functional calculusThe Journal of Symbolic Logic, 1948
- Some theorems about the sentential calculi of Lewis and HeytingThe Journal of Symbolic Logic, 1948
- On the interpretation of intuitionistic number theoryThe Journal of Symbolic Logic, 1945
- Recursive Predicates and QuantifiersTransactions of the American Mathematical Society, 1943
- A Set of Postulates for the Foundation of LogicAnnals of Mathematics, 1932
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931
- Die Vollständigkeit der Axiome des logischen FunktionenkalkülsMonatshefte für Mathematik, 1930