Bounded Linear Logic: A Modular Approach to Polynomial-Time Computability.

Jean-Yves Girard Andre Scedrov Philip J. Scott

Published in: Theor. Comput. Sci. (1992)

Keyphrases

linear logic
intuitionistic logic
bounded treewidth
special case
truth table
cut elimination
logical framework
logic programming
sequent calculus
fixed point
computational complexity
proof search
proof theoretic
bounded degree
desirable properties
np hard
expert systems