Some Syntactical Observations on Linear Logic.

Harold Schellinx

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

Keyphrases

linear logic
fixed point
logic programming
sequent calculus
cut elimination
desirable properties
logical framework
proof theoretic
intuitionistic logic
bayesian networks
software engineering
proof search
artificial intelligence