On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC.
Federico AschieriPublished in: Log. Methods Comput. Sci. (2016)
Keyphrases
- natural deduction
- intuitionistic logic
- inference rules
- first order logic
- horn clauses
- classical logic
- cut elimination
- logic programming
- modal logic
- theorem prover
- sequent calculus
- theorem proving
- sequent calculi
- expressive power
- logic programs
- proof procedures
- logical framework
- truth values
- linear logic
- linear time temporal logic
- decision procedures
- epistemic logic
- proof theoretic
- machine learning
- probabilistic reasoning
- deductive databases
- artificial intelligence
- dynamic logic
- valued logic
- propositional logic
- normal form
- bayesian networks