Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes.
Fabrizio MontesiMarco PeressottiPublished in: CoRR (2021)
Keyphrases
- linear logic
- sequent calculus
- cut elimination
- proof search
- natural deduction
- inference rules
- proof theoretic
- fixed point
- logic programming
- desirable properties
- wide class
- intuitionistic logic
- logical framework
- modal logic
- theorem prover
- probabilistic model
- classical logic
- probabilistic reasoning
- logic programs
- general purpose
- knowledge base