*-Autonomous Categories and Linear Logic.

Published in: Math. Struct. Comput. Sci. (1991)

Keyphrases

linear logic
fixed point
proof theoretic
logic programming
sequent calculus
logical framework
intuitionistic logic
proof search
desirable properties
cut elimination
decision making
artificial intelligence
general purpose
answer set programming