On state monadic MV-algebras

Abstract

Monadic MV-algebras are an algebraic model of the predicate calculus of the Łukasiewicz infinite valued logic in which only a single individual variable occurs. In this paper, we extend monadic MV-algebras with a state operator that describes algebraic properties of states. The resulting variety of algebras will be called state monadic MV-algebras. First, we introduce state monadic MV-algebras and establish a natural equivalence between the category of state monadic MV-algebras and the category of state monadic ℓ-groups with strong units. Moreover, we prove that the class of all state monadic ideals in state monadic MV-algebras is a complete Heyting algebra. In particular, by studying extended state monadic ideals, we prove that the set of all stable state monadic ideals in state monadic MV-algebras is a complete Heyting algebra. Also, the class of all involutory state monadic ideals in state monadic MV-algebras is a complete Boolean algebra. Finally, we introduce and characterize some members in the variety of state monadic MV-algebras, which are subdirectly irreducible, simple, semisimple, local and semilocal, respectively.