Abstract:In the paper, we investigate internal states on involutive monoidal t-norm based algebras, which are algebraic semantics of the logic of left-continuous t-norms with an involutive negation and their residua. The resulting class of algebras will be called IMTL-algebras with internal states or state IMTL-algebras. First, we discuss some properties of internal states and obtain relationships between states and internal states on IMTL-algebras. Moreover, we prove that if an IMTL-algebra L is termwise equivalent to an MV-algebra, then an internal state on L taken in the IMTL-setup coincides with the notion of an internal state in the MV-setup. Secondly, we introduce and characterize maximal state filters and prime state filters in state IMTL-algebras. Using them, we prove that subdirect representation theorems of pre-simple state IMTL-algebras and state pre-linear state IMTL-algebras. Furthermore, we characterize subdirectly irreducible state IMTL-algebras, which is faithful. Finally, studying some topological structures on the set Spec(tau)[L] of all prime state filters and the set Max(tau)[L] of all maximal state filters in a state IMTL-algebra, respectively, we conclude that Spec(tau)[L] is a compact T-0 topological space and Max(tau)[L] is a compact Hausdorff topological space. In particular, we introduce pure state filters in state IMTL-algebras and characterize stable open sets in Spec(tau)[L]. Also, we obtain that Spec(tau)[L] with the stable topology is a compact topological space but not T-0.

Monadic NM-algebras

On state monadic MV-algebras

Repeated X-ray Flaring Activity in Sagittarius A*

Stone-like representation theorems and three-valued filters in R0- algebras (nilpotent minimum algebras)

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams

Profiniteness, Monadicity and Universal Models in Modal Logic

Quantitative Algebras and a Classification of Metric Monads

Varieties of MV-monoids and positive MV-algebras

Involutive Monoidal T-norm Based Algebras with Internal States.

The formal theory of relative monads

Structure of Subalgebra of MV-algebra with Relations Between Tautologies on Them

NMŁ, a Schematic Extension of F.Esteva and L.Godo's Logic MTL

Enriching Diagrams with Algebraic Operations

Non-Normal Modal Description Logics (Extended Version)

Stone Duality Type Theorems for MV-algebras with Internal State

Quasi-tame substitudes and the Grothendieck construction

The bounded ideal monad on the category of quasi-metric spaces and its algebras

Quantifying over Trees in Monadic Second-Order Logic

Monoidal algebraic model structures

An Equational Metalogic for Monadic Equational Systems