An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus.
Luca CicconeLuca PadovaniPublished in: CONCUR (2022)
Keyphrases
- proof theoretic
- linear logic
- proof theory
- cut elimination
- sequent calculus
- default reasoning
- proof search
- intuitionistic logic
- logical framework
- fixed point
- natural deduction
- desirable properties
- inference rules
- automated reasoning
- constraint logic programming
- reasoning problems
- wide class
- nonmonotonic reasoning
- theorem proving
- modal logic