Connection-Based Proof Construction in Linear Logic.

Christoph Kreitz Heiko Mantel Jens Otten Stephan Schmitt

Published in: CADE (1997)

Keyphrases

linear logic
proof search
proof theoretic
fixed point
sequent calculus
cut elimination
logic programming
intuitionistic logic
desirable properties
logical framework
relational databases
natural language