Non-normal modalities in variants of linear logic.

Daniele Porello Nicolas Troquard

Published in: J. Appl. Non Class. Logics (2015)

Keyphrases

linear logic
fixed point
sequent calculus
logical framework
cut elimination
intuitionistic logic
logic programming
desirable properties
proof theoretic
proof search
markov random field
visual information
high level
graph cuts
inference rules