The relational model is injective for Multiplicative Exponential Linear Logic.

Daniel de Carvalho

Published in: CoRR (2015)

Keyphrases

linear logic
fixed point
logical framework
cut elimination
logic programming
proof theoretic
sequent calculus
intuitionistic logic
desirable properties
proof search
artificial intelligence
knowledge base
high level
object oriented
graphical models