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

DOI10.1007/978-3-540-79709-8_9zbMath1143.03028OpenAlexW1525794006MaRDI QIDQ3503624

Arnon Avron, Anna Zamansky

Publication date: 5 June 2008

Published in: Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79709-8_9

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Logic with extra quantifiers and operators (03C80)

This page was built for publication: A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics