A note on the Cut-Elimination Proof in "Truth without contra(di)Ction".
Andreas FjellstadPublished in: Rev. Symb. Log. (2020)
Keyphrases
- cut elimination
- sequent calculus
- linear logic
- natural deduction
- inference rules
- wide class
- sequent calculi
- proof theoretic
- proof search
- modal logic
- theorem prover
- sufficient conditions
- theorem proving
- intuitionistic logic
- fixed point
- linear time temporal logic
- logical framework
- proof theory
- first order logic
- high dimensional