On implication in MV-algebras

• Autores: Janis Cirulis
• Localización: Algebra universalis, ISSN 0002-5240, Vol. 56, Nº. 2, 2007, págs. 237-239
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • In [1], the authors introduced the notion of a weak implication algebra, which reflects properties of implication in MV-algebras, and demonstrated that the class of weak implication algebras is definitionally equivalent to the class of upper semilattices whose principal filters are compatible MV-algebras. It is easily seen that weak implication algebras are just duals of commutative BCK-algebras. We show here that most results of [1] are, in fact, immediate consequences of two well-known facts: (i) a bounded commutative BCK-algebra possesses a natural upper semilattice structure, (ii) the class of MV-algebras and that of bounded commutative BCK-algebras are definitionally equivalent.