A Linear Logic Approach to Consistency Preserving Updates.

Nicole Bidoit Serenella Cerrito Christine Froidevaux

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

Keyphrases

linear logic
correctness criterion
update propagation
update operations
proof search
proof theoretic
fixed point
logical framework
cut elimination
logic programming
intuitionistic logic
desirable properties
sequent calculus
graphical models
logic programs
inference rules