Comparing Infinitary Systems for Linear Logic with Fixed Points.

Anupam Das Abhishek De Alexis Saurin

Published in: FSTTCS (2023)

Keyphrases

linear logic
fixed point
sequent calculus
desirable properties
cut elimination
logic programming
logical framework
lower bound
sufficient conditions
dynamical systems
expert systems
upper bound
multi view
high quality
temporal difference learning
natural deduction