Linear Nested Sequents, 2-Sequents and Hypersequents.

Björn Lellmann

Published in: TABLEAUX (2015)

Keyphrases

linear logic
sequent calculus
inference rules
logic programming
fixed point
desirable properties
modal logic
logical framework
natural deduction
artificial intelligence
multiscale
relational databases
linear constraints