The equationally-defined commutator. A study in equational logic and algebra

DOI10.1007/978-3-319-21200-5zbMATH Open1352.08001OpenAlexW2978215007MaRDI QIDQ5265946FDOQ5265946

Authors Janusz Czelakowski

Publication date 29 July 2015

Full work available at URL https://doi.org/10.1007/978-3-319-21200-5

zbMATH Keywords

commutatorfinitely generated quasivarietiescommutator equationcentralization relation

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Model-theoretic algebra (03C60) Equational logic, Mal'tsev conditions (08B05) Abstract algebraic logic (03G27) Quasivarieties (08C15) Quasivarieties and varieties of groups (20E10) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)

Recommendations

• General theory of the commutator for deductive systems. I: Basic facts
• The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras
• Algebras, lattices, varieties. Volume III
• Congruence modular varieties: commutator theory and its uses
• scientific article; zbMATH DE number 887513

Cited in

(6)

• Congruence lattices forcing nilpotency
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Abelian extensions and solvable loops.
• The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras
• Finite representation of commutator sequences
• Application of Urquhart’s Representation of Lattices to Some Non–classical Logics

This page was built for publication: The equationally-defined commutator. A study in equational logic and algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5265946)