Non-normal modalities in variants of Linear Logic.

Daniele Porello Nicolas Troquard

Published in: CoRR (2015)

Keyphrases

linear logic
fixed point
logical framework
sequent calculus
intuitionistic logic
desirable properties
proof theoretic
logic programming
proof search
cut elimination
machine learning
pairwise
object oriented
general purpose
graphical models
inference rules