Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time Hierarchy.

Patrick Baillot

Published in: APLAS (2011)

Keyphrases

linear logic
fixed point
logic programming
special case
intuitionistic logic
proof theoretic
sequent calculus
linear space
logical framework
cut elimination
computational complexity
desirable properties
inference rules
artificial intelligence
worst case
probability distribution
high level
knowledge base