Keyphrases
- lambda calculus
- sequent calculi
- expressive power
- programming language
- modal logic
- higher order
- database query languages
- predicate calculus
- conditional logic
- nonmonotonic logics
- cut elimination
- inference rules
- artificial intelligence
- classical logic
- program understanding
- proof theory
- fixed order
- vague concepts
- expert systems
- case study