Abstract
The aim of this paper is to show that the implicational fragment BKof the intuitionistic propositional calculus (IPC) without the rules of exchange and contraction has the finite model property with respect to the quasivariety of left residuation algebras (its equivalent algebraic semantics). It follows that the variety generated by all left residuation algebras is generated by the finite left residuation algebras. We also establish that BKhas the finite model property with respect to a class of structures that constitute a Kripke-style relational semantics for it. The results settle a question of Ono and Komori [OK85].
Similar content being viewed by others
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
van Alten, C.J., Raftery, J.G. The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction. Studia Logica 63, 213–222 (1999). https://doi.org/10.1023/A:1005262630549
Issue Date:
DOI: https://doi.org/10.1023/A:1005262630549