Some Results on Cut-Elimination, Provable Well-Orderings, Induction, and Reflection.
Toshiyasu AraiPublished in: Ann. Pure Appl. Log. (1998)
Keyphrases
- cut elimination
- sequent calculus
- proof search
- linear logic
- natural deduction
- inference rules
- wide class
- sufficient conditions
- intuitionistic logic
- proof theoretic
- modal logic
- linear time temporal logic
- theorem proving
- sequent calculi
- theorem prover
- fixed point
- artificial intelligence
- machine learning
- search procedure
- desirable properties