A note to the definition of the ŁΠ-algebras
The ŁΠ-algebras are interesting algebraic structures. They were introduced by Esteva, Godo, and Montagna. These algebras are closely related to the well-known MV-algebras and Π-algebras. They have two sets of operations and reduct to one set is an MV-algebra and to the other one is a Π-algebra.Other important reducts of ŁΠ-algebras are so-called PŁ-algebras (an MV-algebras enriched with product connective) and Π∼-algebras (Π-algebras with additional involutive negation).The definition of ŁΠ-algebras is based on its MV-algabraic reduct and the additional identities. In this paper we present how to base this definition on the other reducts we mention above. We present minimal sets of conditions which has to be added to the defining conditions of those reducts in order to obtain ŁΠ-algebras.