Premium
Algebraic semantics for the (↔, ¬¬)‐fragment of IPC
Author(s) -
Słomczyńska Katarzyna
Publication year - 2012
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201110001
Subject(s) - fragment (logic) , algebraic semantics , mathematics , algebraic number , variety (cybernetics) , semantics (computer science) , propositional calculus , algebra over a field , discrete mathematics , pure mathematics , computer science , programming language , algorithm , mathematical analysis , statistics
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.