From Deep Inference to Proof Nets via Cut Elimination.
Lutz StraßburgerPublished in: J. Log. Comput. (2011)
Keyphrases
- cut elimination
- linear logic
- sequent calculus
- natural deduction
- inference rules
- wide class
- sequent calculi
- proof theoretic
- proof search
- sufficient conditions
- theorem prover
- modal logic
- theorem proving
- probabilistic inference
- proof theory
- logic programming
- probabilistic reasoning
- logical framework
- desirable properties
- fixed point
- linear time temporal logic
- bayesian networks