Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination.

Arnon Avron Anna Zamansky

Published in: LFCS (2009)

Keyphrases

sequent calculi
cut elimination
sequent calculus
linear logic
wide class
natural deduction
sufficient conditions
inference rules
proof theoretic
modal logic
linear time temporal logic
conditional logic
fixed point
proof search