On logics intermediate between intuitionistic and classical predicate logic
- 1 June 1959
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 24 (2) , 141-153
- https://doi.org/10.2307/2964756
Abstract
In [1] and [2] I investigated logics intermediate between intuitionistic and classical propositional logic. In the present paper I shall study inclusion and non-inclusion between certain intermediate predicate logics. All the logics considered result from intuitionistic predicate logic by addition of classically valid axiom schemes.Keywords
This publication has 4 references indexed in Scilit:
- Über die Zwischensysteme der AussagenlogikNagoya Mathematical Journal, 1955
- Eine Darstellung der Intuitionistischen Logik in der KlassischenNagoya Mathematical Journal, 1954
- 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
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935