Login / Signup
The relational model is injective for multiplicative exponential linear logic (without weakenings).
Daniel de Carvalho
Lorenzo Tortora de Falco
Published in:
Ann. Pure Appl. Log. (2012)
Keyphrases
</>
linear logic
fixed point
logic programming
logical framework
proof theoretic
sequent calculus
proof search
intuitionistic logic
cut elimination
artificial intelligence
logic programs
desirable properties
inference rules
general purpose
graphical models