Keyphrases
- propositional calculus
- natural deduction
- cut elimination
- theorem prover
- proof search
- sequent calculus
- logic programming
- automated theorem proving
- linear logic
- modal logic
- inference rules
- theorem proving
- delay insensitive
- formal proof
- predicate logic
- defeasible logic
- computer programs
- machine learning
- sound and complete axiomatization
- formal proofs
- proof theory
- real time
- proof procedure
- asynchronous circuits
- epistemic logic
- classical logic
- logical framework
- multi valued
- data model
- database systems
- real world