A note on calculi for non-deterministic many-valued logics.
Michael KaminskiPublished in: CoRR (2021)
Keyphrases
- modal logic
- sequent calculi
- truth values
- conditional logic
- expressive power
- classical logic
- decision procedures
- temporal logic
- epistemic logic
- inference rules
- nonmonotonic logics
- data sets
- conceptual clustering
- default logic
- black box
- multi valued
- theorem proving
- randomized algorithms
- onset detection
- genetic algorithm