Towards a Semantic Characterization of Cut-Elimination
Source: Studia Logica, Volume 82, Number 1, February 2006 , pp. 95-119(25)
Abstract:We introduce necessary and sufficient conditions for a (single-conclusion) sequent calculus to admit (reductive) cut-elimination. Our conditions are formulated both syntactically and semantically.
Document Type: Research Article
Publication date: February 1, 2006