Grafting Hypersequents onto Nested Sequents.

Roman Kuznets Björn Lellmann

Published in: CoRR (2015)

Keyphrases

linear logic
sequent calculus
inference rules
fixed point
logical framework
hierarchical structure
hierarchical data
natural deduction
real time
neural network
sufficient conditions
desirable properties
coronary artery bypass