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

DOI10.1007/978-3-319-21200-5MaRDI QIDQ5265946zbMATH OpenOpenAlexFDO

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

centralization relationcommutatorcommutator equationfinitely generated quasivarieties

Mathematics Subject Classification ID

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

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

(7)

• 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
• Congruence lattices forcing nilpotency
• Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
• Finite representation of commutator sequences
• Congruence filter pairs, equational filter pairs and adjoints

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)