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 algebrasrelatively finitely axiomatizable subvarietiesvariety of commutative complementary semigroupsvariety of expanded BCK- algebras
Lattices of varieties (08B15) Heyting algebras (lattice-theoretic aspects) (06D20) Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) Ordered groups (06F15)
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