Introduction to linear logic and ludics, part I

Pierre-Louis Curien

Published in: CoRR (2005)

Keyphrases

linear logic
fixed point
desirable properties
logical framework
proof theoretic
logic programming
sequent calculus
proof search
cut elimination
inference rules
natural language
knowledge representation
intuitionistic logic