Prefixed tableaus and nested sequents.

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

linear logic
sequent calculus
inference rules
desirable properties
neural network
hierarchical structure
fixed point
modal logic
logical framework
databases
object oriented
hierarchical data
learning algorithm
logic programs
logic programming
monte carlo search