Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents.

Rajeev Goré Revantha Ramanayake

Published in: Advances in Modal Logic (2012)

Keyphrases

linear logic
tree structure
b tree
sequent calculus
hierarchical structure
binary tree
tree structures
r tree
database
machine learning
training data
general purpose
sufficient conditions
tree construction
tree models