A Note on Calculi for Non-deterministic Many-valued Logics.
Michael KaminskiPublished in: Fundam. Informaticae (2022)
Keyphrases
- modal logic
- sequent calculi
- truth values
- inference rules
- decision procedures
- expressive power
- temporal logic
- nonmonotonic logics
- reasoning problems
- conditional logic
- conceptual clustering
- classical logic
- artificial intelligence
- propositional calculus
- database
- concept lattice
- default logic
- black box
- machine learning
- neural network
- data sets