A Semantic Proof of Generalised Cut Elimination for Deep Inference.
Robert AtkeyWen KokkePublished in: CoRR (2024)
Keyphrases
- cut elimination
- linear logic
- sequent calculus
- natural deduction
- inference rules
- proof theoretic
- wide class
- proof search
- sequent calculi
- sufficient conditions
- fixed point
- modal logic
- linear time temporal logic
- desirable properties
- theorem prover
- semantic web
- natural language
- belief networks
- probabilistic inference
- theorem proving
- first order logic
- bayesian networks
- high level
- artificial intelligence