Pretabular Fuzzy Logics and Kripke-style Semantics: Nilpotent Minimum Logics.
Eunsuk YangPublished in: J. Multiple Valued Log. Soft Comput. (2022)
Keyphrases
- modal logic
- inference rules
- epistemic logic
- nonmonotonic logics
- kripke models
- propositional dynamic logic
- conditional logic
- proof theory
- expressive power
- valued logic
- temporal logic
- proof procedures
- valued semantics
- decision procedures
- default reasoning
- model checking
- classical logic
- computational properties
- fuzzy rules
- fuzzy logic
- logical framework
- proof theoretic
- modal operators
- higher order logic
- fuzzy sets
- membership functions
- decision making
- formal semantics
- fuzzy clustering
- belief revision
- intuitionistic logic
- first order logic
- propositional calculus