Characterization theorem of lattice implication algebras

MaRDI QIDQ5476121zbMATH OpenFDO

Authors Michiro Kondo, Wiesław A. Dudek

Publication date 29 June 2006

zbMATH Keywords

lattice implication algebrabounded commutative BCK-algebra

Mathematics Subject Classification ID

MV-algebras (06D35) BCK-algebras, BCI-algebras (06F35) Logical aspects of lattices and related structures (03G10)

Recommendations

• scientific article; zbMATH DE number 1512101
• Relations between lattice implication algebras and BCK algebras.
• scientific article; zbMATH DE number 205724
• scientific article; zbMATH DE number 2116933
• scientific article; zbMATH DE number 2067135

Cited in

(8)

• L-algebras and three main non-classical logics
• Components in lattice implication algebra
• scientific article; zbMATH DE number 2112837 (Why is no real title available?)
• scientific article; zbMATH DE number 1512101 (Why is no real title available?)
• scientific article; zbMATH DE number 7028342 (Why is no real title available?)
• On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras
• Implication in MV-algebras
• Kleene algebras with implication

This page was built for publication: Characterization theorem of lattice implication algebras

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