On Herbrand's Theorem for Intuitionistic Logic.
Alexander V. LyaletskiBoris KonevPublished in: JELIA (2006)
Keyphrases
- intuitionistic logic
- classical logic
- logic programming
- linear logic
- logic programs
- first order logic
- normal form
- natural deduction
- proof theoretic
- artificial intelligence
- horn clauses
- answer set programming
- cut elimination
- sequent calculus
- model checker
- nonmonotonic reasoning
- answer sets
- inference rules
- temporal reasoning
- deductive databases
- modal logic
- high level