Login / Signup
Nested Sequents and Prefixed Tableaus.
Melvin Fitting
Published in:
TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Keyphrases
</>
linear logic
sequent calculus
inference rules
fixed point
logic programming
learning algorithm
hierarchical structure
modal logic
nested relations
bayesian networks
model checking
desirable properties
logical framework
hierarchical data