On the Duality of Proofs and Countermodels in Labelled Sequent Calculi.

Published in: TABLEAUX (2013)

Keyphrases

sequent calculi
cut elimination
sequent calculus
linear logic
natural deduction
wide class
inference rules
sufficient conditions
linear programming
modal logic
proof search
theorem proving
desirable properties
decision procedures
euclidean space
fixed point
logic programming
equational theories