Acyclicity and Coherence in Multiplicative Exponential Linear Logic.

Published in: CSL (2006)

Keyphrases

linear logic
logic programming
fixed point
proof theoretic
desirable properties
data exchange
cut elimination
sequent calculus
intuitionistic logic
inference rules
logical framework
logic programs
proof search
integrity constraints