A New Deconstructive Logic: Linear Logic.

Vincent Danos Jean-Baptiste Joinet Harold Schellinx

Published in: J. Symb. Log. (1997)

Keyphrases

linear logic
cut elimination
proof theoretic
intuitionistic logic
sequent calculus
logic programming
proof search
logical framework
desirable properties
fixed point
general purpose
inference rules
natural deduction
default reasoning
proof theory