A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-Points.

Published in: TABLEAUX (2023)

Keyphrases

cut elimination
linear logic
sequent calculi
fixed point
sequent calculus
sufficient conditions
desirable properties
logic programming
wide class
proof search
dynamical systems
logical framework
machine learning
dynamic programming
state space
inference rules