Finitely axiomatizable varieties of BCK-algebras

DOI10.1007/BF02572662zbMath0567.08006MaRDI QIDQ1059653

Barbara Woźniakowska

Publication date: 1985

Published in: Semigroup Forum (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/134759

zbMATH Keywords

Heyting algebrasrelatively finitely axiomatizable subvarietiesvariety of commutative complementary semigroupsvariety of expanded BCK- algebras

Mathematics Subject Classification ID

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 (2)

Universal algebras ⋮ On the structure of varieties with equationally definable principal congruences. IV

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Finitely axiomatizable varieties of BCK-algebras