Some results for implicational calculi
- 12 March 1964
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 29 (1) , 33-39
- https://doi.org/10.2307/2269766
Abstract
I shall refer to the implicational fragment of intuitionist logic, and its extension with the further axiomCCCCpqqrCCCpqrras IIC and OIC, respectively. The purpose of this paper is to apply a result due to Garrett Birkhoff to the extensions of IIC, and to the extensions of OIC in particular. The main result obtained is that every extension of OIC is characterised by finite models.Keywords
This publication has 4 references indexed in Scilit:
- Finite limitations on Dummet's LC.Notre Dame Journal of Formal Logic, 1962
- On the existence of finite models and decision procedures for propositional calculiMathematical Proceedings of the Cambridge Philosophical Society, 1958
- 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
- Subdirect unions in universal algebraBulletin of the American Mathematical Society, 1944