Natural Deduction and Weak Normalization for Full Linear Logic.

Lília Ramalho Martins Ana Teresa C. Martins

Published in: Log. J. IGPL (2004)

Keyphrases

linear logic
natural deduction
cut elimination
sequent calculus
intuitionistic logic
fixed point
logic programming
logical framework
inference rules
proof theoretic
linear time temporal logic
proof search
desirable properties
wide class
theorem proving
theorem prover
deductive databases
artificial intelligence