Axiomatizing logics closely related to varieties
From MaRDI portal
Publication:1189901
DOI10.1007/BF00370686zbMath0749.03020OpenAlexW1991062829MaRDI QIDQ1189901
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
Equational classes, universal algebra in model theory (03C05) Axiomatic model classes (08C10) Abstract deductive systems (03B22)
Related Items (1)
Cites Work
- 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
- Unnamed Item
- Unnamed Item
This page was built for publication: Axiomatizing logics closely related to varieties