Finitely axiomatizable varieties of BCK-algebras

DOI10.1007/BF02572662MaRDI QIDQ1059653zbMATH OpenFDO

Authors 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

Other algebras related to logic (03G25) Heyting algebras (lattice-theoretic aspects) (06D20) Ordered groups (06F15) Equational logic, Mal'tsev conditions (08B05) Lattices of varieties (08B15)

Review text

The main theorem of the paper is that the join of two relatively finitely axiomatizable subvarieties of a variety of expanded BCK-algebras is also finitely axiomatizable relative to the variety. The notion of a variety of expanded BCK-algebras, introduced in the paper, encompasses various varieties as examples, e.g. the variety of commutative complementary semigroups of Bosbach, the one of the Heyting algebras and the one of the MV-algebras of Chang.

Recommendations

• scientific article; zbMATH DE number 3908433
• scientific article; zbMATH DE number 3873326
• The variety of all commutative BCK-algebras is generated by its finite members as a quasivariety
• Semisimplicity and the discriminator in bounded BCK-algebras
• scientific article; zbMATH DE number 3884155

Cites work

• Abstract residuation over lattices
• Algebraic Analysis of Many Valued Logics
• scientific article; zbMATH DE number 3781172 (Why is no real title available?)
• scientific article; zbMATH DE number 3552506 (Why is no real title available?)
• scientific article; zbMATH DE number 3583816 (Why is no real title available?)
• scientific article; zbMATH DE number 3437421 (Why is no real title available?)
• Komplementäre Halbgruppen. Axiomatik und Arithmetik
• Komplementäre Halbgruppen. Ein Beitrag zur instruktiven Idealtheorie kommutativer Halbgruppen
• Residuated Lattices
• Residuation groupoids

Cited in

(7)

• Universal algebras
• On the structure of varieties with equationally definable principal congruences. IV
• scientific article; zbMATH DE number 6375884 (Why is no real title available?)
• scientific article; zbMATH DE number 3908433 (Why is no real title available?)
• scientific article; zbMATH DE number 1263934 (Why is no real title available?)
• The Birkhoff theorem for varieties of finite algebras
• Finiteness based results in BL-algebras

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1059653)