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.

Stochastic independence for probability MV-algebras

MV-algebras and measure: some examples

Tsallis Entropy in MV-Algebras

Probability and moment inequalities for additive functionals of geometrically ergodic Markov chains

Encoding de Finetti's coherence within Lukasiewicz logic and MV-algebras

On state monadic MV-algebras

Malliavin structure for conditionally independent random variables

Notes on MV-modules over integral domains

Separable MV-algebras and lattice-groups

Spectral MV-algebras and equispectrality

Riesz space-valued states on pseudo MV-algebras

Separable MV-algebras and lattice-ordered groups

State BL-algebras

Malliavin differentiability of McKean-Vlasov SDEs with locally Lipschitz coefficients

Probability and Moment Inequalities under Dependence

Stochastic integration in Hilbert spaces with respect to cylindrical martingale-valued measures

Profinite MV-algebras

A strong subadditivity‐like inequality for quantum entropy in semifinite von Neumann algebras

Stone Duality Type Theorems for MV-algebras with Internal State

Stone MV-algebras and Strongly complete MV-algebras