Grafting hypersequents onto nested sequents.

Roman Kuznets Björn Lellmann

Published in: Log. J. IGPL (2016)

Keyphrases

linear logic
sequent calculus
inference rules
logic programming
hierarchical structure
machine learning
fixed point
logical framework
real time
data sets
neural network
structure learning
hierarchical data
nested relations