The commutator in equivalential algebras and Fregean varieties
From MaRDI portal
Publication:634757
DOI10.1007/s00012-011-0133-4zbMath1233.08003MaRDI 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
03G25: Other algebras related to logic
08A30: Subalgebras, congruence relations
03B50: Many-valued logic
08B99: Varieties
03B55: Intermediate logics
Related Items
Algebraic semantics for the ‐fragment of and its properties, 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 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