Login / Signup
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