Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi
Patrick LincolnNatarajan ShankarPublished in: LICS (1994)
Keyphrases
- cut elimination
- linear logic
- sequent calculi
- proof search
- sequent calculus
- first order logic
- conditional logic
- inference rules
- logic programming
- fixed point
- desirable properties
- wide class
- natural deduction
- intuitionistic logic
- logical framework
- knowledge representation and reasoning
- theorem prover
- modal logic
- horn clauses