Contraction-Free Sequent Calculi for Intuitionistic Logic.
Roy DyckhoffPublished in: J. Symb. Log. (1992)
Keyphrases
- intuitionistic logic
- cut elimination
- sequent calculi
- linear logic
- natural deduction
- sequent calculus
- wide class
- classical logic
- proof theoretic
- sufficient conditions
- theorem prover
- inference rules
- modal logic
- conditional logic
- belief change
- belief revision
- logic programming
- theorem proving
- normal form
- fixed point
- artificial intelligence