Kripke-Style Semantics for Non-Commutative Monoidal t-Norm Logic
In this paper we develop a Kripke-style semantics for the non-commutative monoidal t-norm based logic introduced by Hajek in [11,12]. Using Kripke semantics we prove completeness results for the non-commutative logic psMTLr (both for the propositional and the predicate calculi).
Keywords: fuzzy logic, non-commutative logic, MTL logic, psMTL logic
AMS classification (2000): 03G25, 03B52