Keyphrases
- proof theory
- natural deduction
- linear logic
- proof theoretic
- proof search
- sequent calculi
- automated theorem proving
- cut elimination
- default reasoning
- higher order logic
- logic programming
- sequent calculus
- theorem prover
- theorem proving
- logical rules
- inference rules
- proof procedure
- classical logic
- logical framework
- automated reasoning
- modal logic
- real time
- epistemic logic
- multi valued
- complete axiomatization
- classical first order logic
- digital circuits
- note taking
- predicate logic
- decision procedures
- probabilistic logic
- website
- artificial intelligence
- machine learning
- data sets