Disjunctively Linear Logic Nets.

Published in: IRE Trans. Electron. Comput. (1962)

Keyphrases

linear logic
logic programming
fixed point
sequent calculus
cut elimination
proof search
proof theoretic
desirable properties
image segmentation
high level