Axiomatizing logics closely related to varieties

DOI10.1007/BF00370686zbMath0749.03020OpenAlexW1991062829MaRDI QIDQ1189901

Wolfgang Rautenberg

Publication date: 27 September 1992

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370686

zbMATH Keywords

axiomatization criterionlogic defined by matricesstrongly finitely based variety of algebras

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Axiomatic model classes (08C10) Abstract deductive systems (03B22)

Related Items (1)

Algebraization of quantifier logics, an introductory overview

Cites Work

• Unnamed Item
• Unnamed Item
• On a fragment of the implicative propositional calculus
• Strongly finitely based equational theories
• Axiomatization of semigroup consequences
• On the structure of varieties with equationally definable principal congruences. I
• Axiomatization of the De Morgan type rules
• Joins and Direct Products of Equational Classes

This page was built for publication: Axiomatizing logics closely related to varieties