Keyphrases
- inference rules
- truth values
- classical logic
- valued logic
- modal logic
- expressive power
- data sets
- decision procedures
- propositional calculus
- multi valued
- theorem proving
- artificial intelligence
- information retrieval
- theorem prover
- fuzzy logic
- artificial neural networks
- computational properties
- nonmonotonic logics
- real world
- proof theory
- neural network
- sequent calculus
- real time