The Equationally-Defined Commutator
From MaRDI portal
Publication:5265946
DOI10.1007/978-3-319-21200-5zbMath1352.08001OpenAlexW2978215007MaRDI QIDQ5265946
Publication date: 29 July 2015
Full work available at URL: https://doi.org/10.1007/978-3-319-21200-5
Model-theoretic algebra (03C60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Equational logic, Mal'tsev conditions (08B05) Quasivarieties and varieties of groups (20E10) Quasivarieties (08C15) Abstract algebraic logic (03G27) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)
Related Items
The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras ⋮ Congruence lattices forcing nilpotency ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ Finite representation of commutator sequences ⋮ Application of Urquhart’s Representation of Lattices to Some Non–classical Logics