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