The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings)

Daniel de Carvalho Lorenzo Tortora de Falco

Published in: CoRR (2010)

Keyphrases

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