Confluence for Proof-Nets via Parallel Cut Elimination.
Giulio GuerrieriGiulia ManaraLorenzo Tortora de FalcoLionel Vaux AuclairPublished in: LPAR (2024)
Keyphrases
- cut elimination
- linear logic
- sequent calculus
- natural deduction
- inference rules
- proof theoretic
- wide class
- proof search
- sequent calculi
- modal logic
- theorem proving
- theorem prover
- sufficient conditions
- artificial intelligence
- machine learning
- proof theory
- linear time temporal logic
- automated reasoning
- fixed point
- logic programming