Extractability as the Deduction Theorem in Subdirectional Combinatory Logic.
Hiroko OzakiDaisuke BekkiPublished in: LACL (2012)
Keyphrases
- intuitionistic logic
- classical logic
- linear logic
- natural deduction
- deductive reasoning
- modal logic
- logic programming
- inference rules
- automated theorem proving
- theorem prover
- data sets
- proof search
- sequent calculus
- computer algebra
- proof theory
- cut elimination
- defeasible logic
- predicate logic
- automated reasoning
- default logic
- theorem proving
- information systems
- artificial intelligence
- learning algorithm