Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic.

Published in: LPAR (2007)

Keyphrases

linear logic
sequent calculus
proof theoretic
proof search
logic programming
cut elimination
intuitionistic logic
fixed point
desirable properties
logical framework
machine learning
knowledge base