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
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