Intuitionistic Linear Logic and Partial Correctness.

Dexter Kozen Jerzy Tiuryn

Published in: LICS (2001)

Keyphrases

linear logic
correctness criterion
fixed point
cut elimination
desirable properties
proof theoretic
logical framework
logic programming
inference rules
sequent calculus
intuitionistic logic
decision making
relational databases
logic programs
proof search