The commutator in equivalential algebras and Fregean varieties
From MaRDI portal
Publication:634757
DOI10.1007/s00012-011-0133-4zbMath1233.08003OpenAlexW2160372569MaRDI QIDQ634757
Katarzyna Słomczyńska, Paweł M. Idziak, Andrzej Wroński
Publication date: 16 August 2011
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-011-0133-4
Other algebras related to logic (03G25) Subalgebras, congruence relations (08A30) Many-valued logic (03B50) Varieties (08B99) Intermediate logics (03B55)
Related Items (5)
Equivalential algebras with conjunction on the regular elements ⋮ 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 ⋮ Algebraic semantics for the (↔, ¬¬)-fragment of IPC
Cites Work
- Unnamed Item
- Unnamed Item
- On the structure of varieties with equationally definable principal congruences. II
- Ideals in universal algebras
- Free equivalential algebras
- Equivalential algebras. I: Representation
- On \(n\)-permutable congruences
- FREGEAN VARIETIES
- Equational logic and theories in sentential languages
- Polynomially rich algebras
This page was built for publication: The commutator in equivalential algebras and Fregean varieties
