On Intermediate Propositional Logics
- 1 January 1965
- journal article
- Published by Elsevier in Indagationes Mathematicae
- Vol. 68, 141-152
- https://doi.org/10.1016/s1385-7258(65)50019-6
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- A propositional calculus with denumerable matrixThe Journal of Symbolic Logic, 1959
- On intermediate propositional logicsThe Journal of Symbolic Logic, 1959
- Über die Zwischensysteme der AussagenlogikNagoya Mathematical Journal, 1955
- Propositional calculus and realizabilityTransactions of the American Mathematical Society, 1953