Linear Logic Properly Displayed.

Giuseppe Greco Alessandra Palmigiano

Published in: CoRR (2016)

Keyphrases

linear logic
fixed point
proof theoretic
sequent calculus
cut elimination
intuitionistic logic
logic programming
desirable properties
logical framework
proof search
pairwise
query language
artificial intelligence
decision making
multi view