Strong Normalisation for a Gentzen-like Cut-Elimination Procedure.
Christian UrbanPublished in: TLCA (2001)
Keyphrases
- cut elimination
- sequent calculus
- linear logic
- wide class
- inference rules
- natural deduction
- linear time temporal logic
- modal logic
- sequent calculi
- sufficient conditions
- proof theoretic
- simulated annealing
- fixed point
- temporal logic
- theorem proving
- theorem prover
- search procedure
- high level
- expert systems
- bayesian networks
- training data