Free equivalential algebras
From MaRDI portal
Publication:952484
DOI10.1016/j.apal.2008.03.003zbMath1154.08002OpenAlexW2064608708MaRDI QIDQ952484
Publication date: 12 November 2008
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2008.03.003
Other algebras related to logic (03G25) Free algebras (08B20) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (5)
The structure of completely meet irreducible congruences in strongly Fregean algebras ⋮ Algebraic semantics for the ‐fragment of and its properties ⋮ Equivalential Algebras with Conjunction on Dense Elements ⋮ The commutator in equivalential algebras and Fregean varieties ⋮ Algebraic semantics for the (↔, ¬¬)-fragment of IPC
Cites Work
- Fregean logics
- Frame based formulas for intermediate logics
- Computations in fragments of intuitionistic propositional logic
- A survey of abstract algebraic logic
- Equivalential algebras. I: Representation
- Free Heyting algebras
- On the intuitionistic equivalential calculus
- Dimension in algebraic frames
- Algebraizable logics
- Brouwerian Semilattices
- Implicational formulas in intuitionistic logic
- Finitely generated free Heyting algebras
- Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
- Free spectra of linear equivalential algebras
- Polynomially rich algebras
- Protoalgebraic logics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Free equivalential algebras
