Yet Another Correctness Criterion for Multiplicative Linear Logic with MIX.

Andrea Asperti Giovanna M. Dore

Published in: LFCS (1994)

Keyphrases

linear logic
correctness criterion
sequent calculus
fixed point
logic programming
cut elimination
logical framework
desirable properties
data warehouse
databases
bayesian networks
knowledge representation
management system
logic programs