Proof Theory for Indexed Nested Sequents.

Sonia Marin Lutz Straßburger

Published in: TABLEAUX (2017)

Keyphrases

linear logic
proof theory
proof theoretic
sequent calculus
default reasoning
automated reasoning
modal logic
logical framework
inference rules
default logic
fixed point
reasoning problems
logic programming
partial order
machine learning
decision procedures
natural language
artificial intelligence