Soft linear logic and polynomial time.

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

Keyphrases

linear logic
special case
fixed point
sequent calculus
desirable properties
logic programming
proof theoretic
logical framework
computational complexity
cut elimination
intuitionistic logic
inference rules
knowledge base
knowledge representation
logic programs