On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic.
Marc BezemDimitri HendriksPublished in: J. Autom. Reason. (2008)
Keyphrases
- intuitionistic logic
- linear logic
- natural deduction
- interactive theorem proving
- proof theory
- proof search
- proof theoretic
- cut elimination
- theorem prover
- classical logic
- sequent calculus
- logical rules
- sequent calculi
- automated theorem proving
- automated reasoning
- multi valued
- inference rules
- theorem proving
- higher order logic
- proof procedure
- logic programming
- set theory
- modal logic
- default reasoning
- case study
- asynchronous circuits
- predicate logic
- real time
- logical framework
- machine intelligence
- first order logic
- knowledge base
- neural network