Basic Core Fuzzy Logics and Algebraic Routley-Meyer-Style Semantics.
Eunsuk YangPublished in: Axioms (2021)
Keyphrases
- proof theory
- propositional dynamic logic
- nonmonotonic logics
- valued logic
- epistemic logic
- conditional logic
- fuzzy sets
- fuzzy logic
- algebraic structure
- membership functions
- formal semantics
- modal logic
- valued semantics
- fuzzy rules
- fuzzy clustering
- expressive power
- fuzzy set theory
- proof theoretic
- higher order logic
- fuzzy ontology
- semantic information
- logic programming
- decision making
- inference rules
- fuzzy description logics
- fuzzy numbers
- classical logic
- modal operators
- higher order
- propositional logic
- default reasoning
- proof procedures
- computational properties