Keyphrases
- computer algebra
- cut elimination
- formal language
- algebraic structure
- sequent calculus
- natural deduction
- proof search
- transition systems
- logic programming
- modal logic
- automated reasoning
- computational properties
- multi valued
- proof procedure
- proof theoretic
- automated theorem proving
- defeasible logic
- epistemic logic
- lambda calculus
- linear time temporal logic
- artificial intelligence
- set theory
- classical logic
- logical framework
- probabilistic logic
- tableau calculus