Keyphrases
- proof theory
- expressive power
- higher order logic
- proof theoretic
- decision procedures
- default reasoning
- modal logic
- theorem prover
- theorem proving
- inference rules
- data quality
- nonmonotonic logics
- linear logic
- genetic algorithm
- classical logic
- inheritance reasoning
- light scattering
- sequent calculi
- order sorted
- natural deduction
- conditional logic
- database
- automated reasoning
- artificial intelligence
- real world