Free-Cut Elimination in Linear Logic and an Application to a Feasible Arithmetic.

Patrick Baillot Anupam Das

Published in: CSL (2016)

Keyphrases

linear logic
cut elimination
sequent calculus
fixed point
proof theoretic
logical framework
inference rules
desirable properties
wide class
intuitionistic logic
proof search
logic programming
natural deduction
sufficient conditions
linear time temporal logic
artificial intelligence