Algebraic semantics for the (↔, ¬¬)-fragment of IPC
From MaRDI portal
Publication:3117777
DOI10.1002/MALQ.201110001zbMath1245.03016OpenAlexW2111807398MaRDI QIDQ3117777
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
regularizationintuitionistic logicequivalential algebraprimitive varietyequivalent algebraic semanticsfragment logicFregean varietyintuitionistic double negationintuitionistic equivalence
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
