An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets.
Jules ChouquetLionel Vaux AuclairPublished in: Log. Methods Comput. Sci. (2021)
Keyphrases
- linear logic
- cut elimination
- sequent calculus
- proof theoretic
- proof search
- fixed point
- sequent calculi
- intuitionistic logic
- logic programming
- desirable properties
- natural deduction
- inference rules
- logical framework
- linear time temporal logic
- wide class
- artificial intelligence
- general purpose
- pairwise
- expert systems
- knowledge base