The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction |
| |
Authors: | C. J. van Alten J. G. Raftery |
| |
Affiliation: | (1) Department of Mathematics and Applied Mathematics, University of Natal King, George V Avenue, Durban, 4001, South Africa |
| |
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]. This revised version was published online in June 2006 with corrections to the Cover Date. |
| |
Keywords: | substructural logic algebraization residuation algebra Kripke semantics |
本文献已被 SpringerLink 等数据库收录! |