scientific article; zbMATH DE number 978109

MaRDI QIDQ4332297zbMATH OpenFDO

Authors J. Meng

Publication date 11 May 1997

zbMATH Keywords

dualimplication algebrasimplicative BCK-algebra

Mathematics Subject Classification ID

Other algebras related to logic (03G25) BCK-algebras, BCI-algebras (06F35)

Recommendations

• On implication algebras and BCK algebras.
• Relations between lattice implication algebras and BCK algebras.
• scientific article; zbMATH DE number 4148165
• Publication:4489065
• scientific article; zbMATH DE number 880159

Cited in

(16)

• Implicative commutative semigroups are equivalent to a class of BCK algebras
• On Heyting algebras and dual BCK-algebras
• On some classes of commutative weak BCK-algebras
• Implication in MV-algebras
• On implication algebras and BCK algebras.
• Relations between lattice implication algebras and BCK algebras.
• Generalizations of Implication Algebras
• scientific article; zbMATH DE number 4148165 (Why is no real title available?)
• scientific article; zbMATH DE number 1309102 (Why is no real title available?)
• scientific article; zbMATH DE number 1156786 (Why is no real title available?)
• scientific article; zbMATH DE number 1471981 (Why is no real title available?)
• On algebras with a generalized implication
• scientific article; zbMATH DE number 7707388 (Why is no real title available?)
• Some results on commutative BI-algebras
• An intriguing logic with two implicational connectives
• On implication in MV-algebras

This page was built for publication:

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