Linear Logic and Exceptions.

Christophe Fouqueré Jacqueline Vauzeilles

Published in: J. Log. Comput. (1994)

Keyphrases

linear logic
logic programming
fixed point
desirable properties
intuitionistic logic
logical framework
sequent calculus
cut elimination
proof theoretic
computational complexity
proof search
database systems
general purpose