Login / Signup
Nested Sequents
Kai Brünnler
Published in:
CoRR (2010)
Keyphrases
</>
linear logic
sequent calculus
inference rules
logical framework
hierarchical data
desirable properties
fixed point
neural network
hierarchical structure
logic programming
modal logic
first order logic
case study
artificial intelligence
natural deduction
nested relations
real time