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

Arnon Avron, Anna Zamansky

Browse the full LFCS paper archive.