Keyphrases
- modal logic
- sequent calculi
- natural deduction
- sequent calculus
- cut elimination
- inference rules
- linear logic
- classical logic
- logical framework
- grid computing
- temporal logic
- nonmonotonic logics
- predicate logic
- logic programming
- dynamic logic
- sound and complete axiomatization
- grid points
- database
- proof theory
- truth values
- wide class
- computational properties
- automated reasoning
- data sets