Focused and Synthetic Nested Sequents.

Kaustuv Chaudhuri Sonia Marin Lutz Straßburger

Published in: FoSSaCS (2016)

Keyphrases

linear logic
sequent calculus
inference rules
real world
real images are presented
knowledge base
fixed point
desirable properties
data generator
compositional semantics