MVLSC HomeIssue Contents

Kripke-Style Semantics for Non-Commutative Monoidal t-Norm Logic
Denisa Diaconescu

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

Full Text (IP)