Linear Logic as a Logic of Computations.

Max I. Kanovich

Published in: Ann. Pure Appl. Log. (1994)

Keyphrases

linear logic
intuitionistic logic
cut elimination
proof theoretic
logic programming
sequent calculus
proof search
logical framework
fixed point
desirable properties
inference rules
natural deduction
sufficient conditions
logic programs
general purpose
object oriented
modal logic
graph cuts