Strongly finitely based equational theories

DOI10.1007/BF01195863zbMath0742.08004MaRDI QIDQ1180703

Wolfgang Rautenberg

Publication date: 27 June 1992

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

independenceregularizationinference rulegroupoidsaxiomatizabilityequational theoryBirkhoff calculusstrongly finitely based

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Classical propositional logic (03B05) Logical aspects of Boolean algebras (03G05) Equational classes, universal algebra in model theory (03C05)

Related Items (2)

Axiomatizing logics closely related to varieties ⋮ On finitely based groups and nonfinitely based quasivarieties

Cites Work

• On the regular part of varieties of algebras
• Axiomatization of semigroup consequences
• Products of independent algebras with finitely generated identities
• Bases for equational theories of semi-groups
• Algebraizable logics
• Joins and Direct Products of Equational Classes
• Identities in Two-Valued Calculi

This page was built for publication: Strongly finitely based equational theories