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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom