Routley-Meyer-style semantics, called algebraic Routley-Meyer-style semantics, was investigated for the fuzzy logic system MTL. This paper extends this investigation to involutive systems. More precisely, as an example, we consider such semantics for ...
Routley-Meyer-style semantics, called algebraic Routley-Meyer-style semantics, was investigated for the fuzzy logic system MTL. This paper extends this investigation to involutive systems. More precisely, as an example, we consider such semantics for the fuzzy logic system IMTL. First, we recall the involutive monoidal t-norm logic IMTL and its algebraic semantics. We next introduce algebraic Routley-Meyer-style semantics for it and then connect this semantics with algebraic semantics.