Keyphrases
- natural deduction
- cut elimination
- sequent calculus
- modal logic
- proof search
- theorem prover
- automated reasoning
- theorem proving
- decision procedures
- linear logic
- logic programming
- inference rules
- classical logic
- logical framework
- computational properties
- case study
- databases
- automated theorem proving
- asynchronous circuits
- equational theories
- sound and complete axiomatization
- epistemic logic
- formal theory
- predicate logic
- situation calculus
- multi agent
- decision trees
- neural network