Towards a Semantic Characterization of Cut-Elimination

Studia Logica 82 (1):95-119 (2006)
  Copy   BIBTEX

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.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s11225-006-6607-2

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Algebraic proof theory for substructural logics: cut-elimination and completions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2012 - Annals of Pure and Applied Logic 163 (3):266-290.
A sufficient condition for completability of partial combinatory algebras.Andrea Asperti & Agata Ciabattoni - 1997 - Journal of Symbolic Logic 62 (4):1209-1214.
A proof-theoretical investigation of global intuitionistic (fuzzy) logic.Agata Ciabattoni - 2005 - Archive for Mathematical Logic 44 (4):435-457.
Finiteness in infinite-valued łukasiewicz logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
Niepoznawalne - Bogiem.Agata Bielik - 1986 - Studia Filozoficzne 251 (10).
Głos w dyskusji.Agata Bielik-Robson - 2004 - Sztuka I Filozofia (Art and Philosophy) 24.
Pozór jako apolińskie okrucieństwo.Agata Janaszczyk - 2005 - Nowa Krytyka 15.
What Does it Mean to Teach Toward Freedom?Agata Trzaska & Brian D. Schultz - 2009 - Educational Studies: A Jrnl of the American Educ. Studies Assoc 45 (4):392-398.
La nozione di “trascendenza” ne Il visibile e I’invisibile.Agata Zielinski - 2000 - Chiasmi International 2:431-431.
La notion de la transcendance dans Le visible et l’invisible: de l’indétermination au désir.Agata Zielinski - 2000 - Chiasmi International 2:415-430.
Żargon autentyczności (Charles Taylor, The Ethics of Authenticity).Agata Bielik - 1996 - Etyka 29:209-216.
Chińska ustawa eugeniczna w świetle bioetyki kulturowej.Agata Strządała - 2006 - Archeus. Studia Z Bioetyki I Antropologii Filozoficznej 7:105-114.
Krytyka władzy jako strategia legitymizacyjna.Agata Bielik-Robson - 2001 - Civitas 5 (5):119-130.

Analytics

Added to PP
2014-03-19

Downloads
27 (#557,528)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

New Consecution Calculi for R→t.Katalin Bimbó & J. Michael Dunn - 2012 - Notre Dame Journal of Formal Logic 53 (4):491-509.

Add more citations

References found in this work

Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.

View all 10 references / Add more references