An Algebraic Correctness Criterion for Intuitionistic Proof-Nets.

Philippe de Groote

Published in: LFCS (1997)

Keyphrases

linear logic
correctness criterion
sequent calculus
logic programming
fixed point
desirable properties
logical framework
correctness criteria
databases
logic programs
inference rules
integrity constraints
knowledge base
data mining
natural deduction
real time
database