On the expressivity of elementary linear logic: Characterizing Ptime and an exponential time hierarchy.

Patrick Baillot

Published in: Inf. Comput. (2015)

Keyphrases

linear logic
fixed point
cut elimination
sequent calculus
logical framework
logic programming
intuitionistic logic
desirable properties
data complexity
conjunctive queries
proof search
proof theoretic
satisfiability problem
artificial intelligence
np complete
logic programs
query language
knowledge base