Algebraic semantics for the ‐fragment of and its properties
Katarzyna Słomczyńska · Mathematical logic quarterly · 2017
Abstract We study the variety of equivalential algebras with zero and its subquasivariety that gives the equivalent algebraic semantics for the ‐fragment of intuitionistic propositional logic. We prove that this fragment is hereditarily structurally complete. Moreover, we effectively construct the finitely generated free equivalential algebras with zero.