Compact Proof Certificates for Linear Logic.

Kaustuv Chaudhuri

Published in: CPP (2012)

Keyphrases

linear logic
proof search
sequent calculus
logic programming
fixed point
proof theoretic
desirable properties
logical framework
cut elimination
intuitionistic logic
access control
expert systems
knowledge base
machine learning
inference rules
proof theory
artificial intelligence