Search
 
loader loading subjects...
cover
Set-Theoretic Kripke-Style Semantics for Monoidal T-Norm (Based) Logics
Eunsuk Yang
131 - 137
10.3233/978-1-61499-722-1-131
Frontiers in Artificial Intelligence and Applications
Volume 293: Fuzzy Systems and Data Mining II
Abstract

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.

$35.00 / €27.50 / £22.00
Add PDF to cart