Linear Logic Displayed.

Published in: Notre Dame J. Formal Log. (1990)

Keyphrases

linear logic
fixed point
sequent calculus
logical framework
cut elimination
desirable properties
proof theoretic
logic programming
proof search
intuitionistic logic
database
machine learning
relational databases
graphical models