An Explicit Formula for the Free Exponential Modality of Linear Logic.

Paul-André Melliès Nicolas Tabareau Christine Tasson

Published in: ICALP (2) (2009)

Keyphrases

linear logic
fixed point
multi modal
logic programming
desirable properties
sequent calculus
proof search
proof theoretic
cut elimination
inference rules
medical images
logical framework
intuitionistic logic
natural language
np hard