Phase Semantics for Linear Logic with Least and Greatest Fixed Points.

Abhishek De Farzad Jafar-Rahmani Alexis Saurin

Published in: FSTTCS (2022)

Keyphrases

linear logic
fixed point
proof theoretic
logic programming
logical framework
intuitionistic logic
sequent calculus
cut elimination
desirable properties
logic programs
sufficient conditions
inference rules
reasoning tasks
default logic
dynamical systems
default reasoning
belief propagation