Generalized Connectives for Multiplicative Linear Logic.

Matteo Acclavio Roberto Maieli

Published in: CSL (2020)

Keyphrases

linear logic
sequent calculus
cut elimination
inference rules
fixed point
intuitionistic logic
logical framework
logic programming
proof theoretic
proof search
desirable properties
general purpose