Finitely axiomatizable varieties of BCK-algebras
From MaRDI portal
Publication:1059653
DOI10.1007/BF02572662zbMath0567.08006MaRDI QIDQ1059653
Publication date: 1985
Published in: Semigroup Forum (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/134759
Heyting algebras; relatively finitely axiomatizable subvarieties; variety of commutative complementary semigroups; variety of expanded BCK- algebras
08B15: Lattices of varieties
06D20: Heyting algebras (lattice-theoretic aspects)
08B05: Equational logic, Mal'tsev conditions
03G25: Other algebras related to logic
06F15: Ordered groups
Related Items
Universal algebras, On the structure of varieties with equationally definable principal congruences. IV
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Residuation groupoids
- Komplementäre Halbgruppen. Ein Beitrag zur instruktiven Idealtheorie kommutativer Halbgruppen
- Algebraic Analysis of Many Valued Logics
- Komplementäre Halbgruppen. Axiomatik und Arithmetik
- Residuated Lattices
- Abstract residuation over lattices