Towards a Semantic Characterization of Cut-Elimination

Authors: Ciabattoni, Agata1; Terui, Kazushige2

Source: Studia Logica, Volume 82, Number 1, February 2006 , pp. 95-119(25)

Publisher: Springer

Buy & download fulltext article:


Price: $47.00 plus tax (Refund Policy)


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.

Keywords: cut-elimination; nonclassical logicss; phase semantics; sequent calculus; substructural logics

Document Type: Research Article


Affiliations: 1: Email: 2: Email:

Publication date: February 1, 2006

Related content


Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content

Text size:

A | A | A | A
Share this item with others: These icons link to social bookmarking sites where readers can share and discover new web pages. print icon Print this page