An explicit formula for the free exponential modality of linear logic.

Paul-André Melliès Nicolas Tabareau Christine Tasson

Published in: Math. Struct. Comput. Sci. (2018)

Keyphrases

linear logic
fixed point
intuitionistic logic
cut elimination
multi modal
sequent calculus
logical framework
medical images
logic programming
proof theoretic
desirable properties
inference rules
proof search
general purpose