Semantical Analysis of Intuitionistic Logic I
- 1 January 1965
- book chapter
- Published by Elsevier
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- THE INDEPENDENCE OF THE CONTINUUM HYPOTHESISProceedings of the National Academy of Sciences, 1963
- Semantical Analysis of Modal Logic I Normal Modal Propositional CalculiMathematical Logic Quarterly, 1963
- On weak completeness of intuitionistic predicate logicThe Journal of Symbolic Logic, 1962
- The Undecidability of Monadic Modal Quantification TheoryMathematical Logic Quarterly, 1962
- A completeness theorem in modal logicThe Journal of Symbolic Logic, 1959
- A remark on free choice sequences and the topological completeness proofsThe Journal of Symbolic Logic, 1958
- Intuitionistische Untersuchungen der formalistischen LogikNagoya Mathematical Journal, 1951