Algebraic semantics for the (↔, ¬¬)‐fragment of IPC
Katarzyna Słomczyńska · Mathematical logic quarterly · 2011
Abstract We show that the variety of equivalential algebras with regularization gives the algebraic semantics for the (↔, ¬¬)‐fragment of intuitionistic propositional logic. We also prove that this fragment is hereditarily structurally complete.