Axiomatizing logics closely related to varieties
From MaRDI portal
Publication:1189901
DOI10.1007/BF00370686zbMath0749.03020MaRDI QIDQ1189901
Publication date: 27 September 1992
Published in: Studia Logica (Search for Journal in Brave)
03C05: Equational classes, universal algebra in model theory
08C10: Axiomatic model classes
03B22: Abstract deductive systems
Related Items
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