Monadic algebras of an involutive monoidal t-norm based logic

Document Type : Research Paper


1 School of Science, Xi'an Shiyou University, Xi'an 710065, Shaanxi, China

2 School of Science, Xi'an Polytechnic University, Xi'an 710048, Shaanxi, China


The main goal of this paper is to study universal and existential quantifiers on involutive monoidal t-norm based algebras, which are algebraic semantics for the logic of involutive left-continuous t-norms and their residua, and the resulting class of algebras will be called monadic IMTL-algebras. First we study some of their related algebraic properties and prove that the variety of monadic IMTL-algebras is the equivalent algebraic semantics of monadic predicate fuzzy logic $\mathbf{mMTL_{\forall}}$, which is equivalent to the modal fuzzy logic $\mathbf{S5(IMTL)}$, and show the completeness for $\mathbf{IMTL_{\forall}}$ via functional monadic IMTL-algebras. Moreover we start a systematic study of monadic algebraic structures that related to the monadic IMTL-algebras, some of which constitute the monadic MTL-algebras, monadic WNM-algebras, monadic NM-algebras, monadic BL-algebras, monadic MV-algebras and monadic Boolean algebras.
Finally we give some representations of monadic IMTL-algebras. In particular, we character representable and directly indecomposable monadic IMTL-algebras by monadic filters.