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

DOI10.1002/MALQ.201110001zbMath1245.03016OpenAlexW2111807398MaRDI 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

regularizationintuitionistic logicequivalential algebraprimitive varietyequivalent algebraic semanticsfragment logicFregean varietyintuitionistic double negationintuitionistic equivalence

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (5)

On rules ⋮ Almost structural completeness; an algebraic approach ⋮ Tutorial on Admissible Rules in Gudauri ⋮ Algebraic semantics for the ‐fragment of and its properties ⋮ Hereditarily structurally complete superintuitionistic deductive systems

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

This page was built for publication: Algebraic semantics for the (↔, ¬¬)-fragment of IPC