On intermediate propositional logics
- 12 March 1959
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 24 (1) , 20-36
- https://doi.org/10.2307/2964571
Abstract
By intermediate prepositional logics we mean prepositional logics between the intuitionistic and classical logics.K. Gödel [1] proved that there is a set of intermediate prepositional logics which possesses the order type ω. The method enables us to define intermediate logics in terms of axioms and rules of inference. We shall call it the axiomatic method.Keywords
This publication has 6 references indexed in Scilit:
- Über die Zwischensysteme der AussagenlogikNagoya Mathematical Journal, 1955
- Eine Darstellung der Intuitionistischen Logik in der KlassischenNagoya Mathematical Journal, 1954
- Propositional calculus and realizabilityTransactions of the American Mathematical Society, 1953
- Lattice Theory. By Garrett Birkhoff. 2nd edition. Pp. xiii, 283. $6. 1948. American Mathematical Society Colloquium Publications, 25. (American Mathematical Society, New York)The Mathematical Gazette, 1950
- Grundzüge der Theoretischen LogikPublished by Springer Nature ,1949
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935