Graphical Proof Theory I: Multiplicative Linear Logic Beyond Cographs.

Matteo Acclavio

Published in: CoRR (2023)

Keyphrases

linear logic
proof theoretic
proof theory
cut elimination
default reasoning
intuitionistic logic
logic programming
logical framework
fixed point
desirable properties
sequent calculus
nonmonotonic reasoning
automated reasoning
belief revision
general purpose
fixpoint