Elimination and cut-elimination in multiplicative linear logic.

Daniel Murfet William Troiani

Published in: CoRR (2022)

Keyphrases

linear logic
cut elimination
sequent calculus
fixed point
proof theoretic
intuitionistic logic
logic programming
proof search
desirable properties
logical framework
inference rules
natural deduction
linear time temporal logic
relational databases
logic programs