Algebraic semantics for the ‐fragment of and its properties
From MaRDI portal
Publication:5108101
DOI10.1002/malq.201600046zbMath1469.03031OpenAlexW2765632842MaRDI QIDQ5108101
Publication date: 29 April 2020
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201600046
Other algebras related to logic (03G25) Quasivarieties (08C15) Free algebras (08B20) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fregean logics
- The commutator in equivalential algebras and Fregean varieties
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Free equivalential algebras
- On the \(\{\to,\tilde{}\}\)-reduct of the intuitionistic consequence operation
- Computations in fragments of intuitionistic propositional logic
- Derivability of admissible rules
- Equivalential algebras. I: Representation
- On the intuitionistic equivalential calculus
- On the structural completeness of some pure implicational propositional calculi
- Unification and projectivity in Fregean varieties
- Algebraic semantics for the (↔, ¬¬)-fragment of IPC
- FREGEAN VARIETIES
- Structural Completeness in Substructural Logics
- Algebraizable logics
- Free spectra of linear equivalential algebras
- Protoalgebraic logics
This page was built for publication: Algebraic semantics for the ‐fragment of and its properties
