Local Validity for Circular Proofs in Linear Logic with Fixed Points.

Rémi Nollet Alexis Saurin Christine Tasson

Published in: CSL (2018)

Keyphrases

linear logic
cut elimination
fixed point
sequent calculus
proof search
natural deduction
logic programming
sufficient conditions
dynamical systems
desirable properties
machine learning
temporal difference learning
image segmentation
image processing
np hard
logic programs
belief propagation
theorem prover