Intuitionistic Logic according to Dijkstra's Calculus of Equational Deduction.
Jaime Bohórquez V.Published in: Notre Dame J. Formal Log. (2008)
Keyphrases
- intuitionistic logic
- natural deduction
- theorem proving
- theorem prover
- inference rules
- sequent calculus
- cut elimination
- automated theorem proving
- linear logic
- first order logic
- proof search
- automated reasoning
- proof procedure
- decision procedures
- proof theoretic
- computer algebra
- classical logic
- horn clauses
- logical framework
- formal semantics
- fixed point
- software engineering