An algebraic analysis of similarity in monadic monoidal t-norm based predicate logic
Jun Tao Wang, Xuesong Fu, Mengna Kang · Research Square · 2022
Abstract In this paper, we introduce the notion of similarity monadic MTL-algebras and study some of their related basic algebraic properties. Then we introduce and investigate similarity monadic filters of similarity monadic MTL-algebras. In particular, by means of similarity monadic filters, we give some characterizations of representable similarity monadic MTL-algebras. Finally, we introduce the logic of similarity monadic MTL-algebras and prove the soundness and completeness of them.2010 MSC: 06D35, 06B99