Noncommutative coherence spaces for full linear logic.

Published in: CoRR (2018)

Keyphrases

linear logic
fixed point
logic programming
cut elimination
sequent calculus
logical framework
proof search
desirable properties
proof theoretic
intuitionistic logic
inference rules
database systems
similarity measure
natural language
level set
sufficient conditions