On Reduced Semantics for Fuzzy Predicate Logics.
Pilar DellundePublished in: IFSA/EUSFLAT Conf. (2009)
Keyphrases
- logic rules
- valued logic
- propositional dynamic logic
- proof theory
- conditional logic
- fuzzy sets
- epistemic logic
- nonmonotonic logics
- first order logic
- formal semantics
- membership functions
- fuzzy description logics
- default reasoning
- fuzzy set theory
- fuzzy logic
- valued semantics
- proof theoretic
- expressive power
- fuzzy clustering
- higher order logic
- fuzzy numbers
- fuzzy rules
- datalog programs
- fuzzy controller
- model theoretic
- autoepistemic logic
- model checking
- logical formulas
- fuzzy ontology
- classical logic
- logic programming
- propositional logic
- inference rules
- modal logic
- integrity constraints