A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics.

Arnon Avron Anna Zamansky A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics. 52-63 2008 CSR http://dx.doi.org/10.1007/978-3-540-79709-8_9 conf/csr/2008 db/conf/csr/csr2008.html#AvronZ08