Linear Logic for Taxonomical Networks and Database Updates.

Christophe Fouqueré Jacqueline Vauzeilles

Published in: Electron. Notes Theor. Comput. Sci. (1996)

Keyphrases

linear logic
database updates
fixed point
sequent calculus
database
logic programming
proof theoretic
intuitionistic logic
logical framework
decision problems
modal logic
desirable properties
inference rules