Algebraic semantics for the (↔, ¬¬)-fragment of IPC

DOI10.1002/malq.201110001zbMath1245.03016MaRDI QIDQ3117777

Katarzyna Słomczyńska

Publication date: 29 February 2012

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201110001

zbMATH Keywords

regularization; intuitionistic logic; equivalential algebra; primitive variety; equivalent algebraic semantics; fragment logic; Fregean variety; intuitionistic double negation; intuitionistic equivalence

Mathematics Subject Classification ID

03G25: Other algebras related to logic

03B20: Subsystems of classical logic (including intuitionistic logic)

Related Items

On rules, Almost structural completeness; an algebraic approach, Hereditarily structurally complete superintuitionistic deductive systems, Tutorial on Admissible Rules in Gudauri

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The commutator in equivalential algebras and Fregean varieties
• Admissible rules in the implication-negation fragment of intuitionistic logic
• An approach to Glivenko's theorem in algebraizable logics
• Free equivalential algebras
• Positive Sugihara monoids
• A general Glivenko theorem
• Computations in fragments of intuitionistic propositional logic
• Equivalential algebras. I: Representation
• Intuitionistic implication without disjunction
• Unification and projectivity in Fregean varieties
• FREGEAN VARIETIES
• Structural Completeness in Substructural Logics