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 l -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.

On subalgebras of MS-algebras

Separable MV-algebras and lattice-groups

Functional description of free algebras in subvarieties of BL-algebras

On state monadic MV-algebras

U-q(sl(m+1))-Module Algebra Structures on the Coordinate Algebra of a Quantum Vector Space

Supplements to maximal subalgebras of Lie algebras

Invertible subalgebras

The structure of subalgebras of full matrix algebras over a field satisfying the identity [x_1, y_1][x_2, y_2] ... [x_q, y_q] = 0

Separable MV-algebras and lattice-ordered groups

Modularity conditions in Leibniz algebras

State BL-algebras

Solid subalgebras in algebras of Jordan type half

Left-symmetric Superalgebras on Special Linear Lie Superalgebras

Big algebras

Lattice of intermediate subalgebras

On the power-set $$$$-algebras

Maximal Subalgebras for Lie Superalgebras of Cartan Type

The subalgebras of $A_2$

Investigation of subalgebra lattices by means of Hasse constants

Special multiserial algebras, Brauer configuration algebras and more : a survey

Subalgebras, subgroups, and singularity