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.
Publisher
Cambridge University Press (CUP)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the variety of strong subresiduated lattices;Mathematical Logic Quarterly;2023-05
2. On Hilbert algebras generated by the order;Archive for Mathematical Logic;2021-06-04
3. Prior’s OIC nonconservativity example revisited;Journal of Applied Non-Classical Logics;2014-07-03
4. AGGREGATION AND IDEMPOTENCE;The Review of Symbolic Logic;2013-08-07
5. On a conservative extension argument of Dana Scott;Logic Journal of IGPL;2010-11-14