Keyphrases
- inference rules
- sequent calculus
- natural deduction
- cut elimination
- proof search
- modal logic
- theorem prover
- first order logic
- computer algebra
- linear time temporal logic
- data model
- xml schema
- proof theoretic
- automated theorem proving
- formal language
- database
- database schema
- databases
- proof procedure
- linear logic
- deontic logic
- schema evolution
- xpath queries
- logic programming