Set-Theoretic Kripke-Style Semantics for Monoidal T-Norm (Based) Logics
Eunsuk Yang · Frontiers in artificial intelligence and applications · 2016
This paper deals with non-algebraic binary relational semantics, called here set-theoretic Kripke-style semantics, for monoidal t-norm (based) logics. For this, we first introduce the system MTL (Monoidal t-norm logic) and some of its prominent axiomatic extensions, and then their corresponding Kripke-style semantics. Next, we provide set-theoretic completeness results for them.