The commutator in equivalential algebras and Fregean varieties
From MaRDI portal
Publication:634757
DOI10.1007/s00012-011-0133-4zbMath1233.08003MaRDI QIDQ634757
Paweł M. Idziak, Katarzyna Słomczyńska, 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
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