The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras

DOI10.1007/978-3-319-74772-9_5MaRDI QIDQ4586415zbMATH OpenOpenAlexFDO

Authors Janusz Czelakowski

Publication date 13 September 2018

Published in Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-74772-9_5

zbMATH Keywords

commutator equationcongruenceconsequence operationquasivarietythe equationally-defined commutator

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Abstract algebraic logic (03G27) Subalgebras, congruence relations (08A30) Quasivarieties (08C15)

Recommendations

• Quasivarieties generated by two-element algebras revisited
• The commutator in equivalential algebras and Fregean varieties
• scientific article; zbMATH DE number 4073058
• scientific article; zbMATH DE number 966891
• scientific article; zbMATH DE number 805015
• Generic algebras with quadratic commutation relations
• Commutative equality algebras and \&-equality algebras
• Almost commutative Q-algebras and derived brackets
• scientific article; zbMATH DE number 3991747
• The equationally-defined commutator. A study in equational logic and algebra

Cites work

• A proof of Lyndon's finite basis theorem
• Commutator Theory for Relatively Modular Quasivarieties
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 4035895 (Why is no real title available?)
• Identities in Two-Valued Calculi
• Pure Compactifications in Quasi-Primal Varieties
• Tarski's High School Identities
• The equationally-defined commutator. A study in equational logic and algebra
• The saga of the high school identities

Cited in

(6)

• scientific article; zbMATH DE number 1978803 (Why is no real title available?)
• scientific article; zbMATH DE number 7302744 (Why is no real title available?)
• The equationally-defined commutator. A study in equational logic and algebra
• Quasivarieties generated by two-element algebras revisited
• The commutator in equivalential algebras and Fregean varieties
• Quasiidentities of two-element algebras

This page was built for publication: The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras

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