Measuring inconsistency with many-valued logics.
Matthias ThimmPublished in: Int. J. Approx. Reason. (2017)
Keyphrases
- modal logic
- classical logic
- truth values
- valued logic
- expressive power
- inference rules
- valued semantics
- temporal logic
- default logic
- nonmonotonic logics
- integrity checking
- coalition logic
- neural network
- propositional calculus
- aggregation functions
- modal operators
- epistemic logic
- conditional logic
- conceptual clustering