Every BCK-algebra is a set of residuables in an integral pomonoid

DOI10.1016/0021-8693(88)90065-8zbMath0658.06012OpenAlexW1988838565MaRDI QIDQ1111585

Isidore Fleischer

Publication date: 1988

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0021-8693(88)90065-8

zbMATH Keywords

embeddingBCK-algebraintegral commutative monoid with residuationresiduation-reduct

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Ordered structures (06F99)

Related Items (8)

Functional completeness of bounded structures of fuzzy logic with wvt-operators ⋮ On the quasivariety of BCK-algebras and its subvarieties ⋮ Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ On good EQ-algebras ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ Formal systems of fuzzy logic and their fragments ⋮ Representable good EQ-algebras ⋮ Some properties of pseudo-BCK- and pseudo-BCI-algebras

Cites Work

• Preservation of bi-endomorphic composition by categorical reflection
• A representation theorem for completely join distributive algebraic lattices
• An algebraic approach to non-classical logics
• Residuated Lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Every BCK-algebra is a set of residuables in an integral pomonoid