Don't eliminate cut

Journal of Philosophical Logic 13 (4):373 - 378 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00247711

Links

PhilArchive



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

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 aspects of cut elimination.Francesco Belardinelli, Peter Jipsen & Hiroakira Ono - 2004 - Studia Logica 77 (2):209 - 240.
Sequent calculus in natural deduction style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
Proof normalization modulo.Gilles Dowek & Benjamin Werner - 2003 - Journal of Symbolic Logic 68 (4):1289-1316.
Valentini’s cut-elimination for provability logic resolved.Rajeev Goré & Revantha Ramanayake - 2012 - Review of Symbolic Logic 5 (2):212-238.
Cut for core logic.Neil Tennant - 2012 - Review of Symbolic Logic 5 (3):450-479.
Vagueness: It's only natural.Ross Cameron - unknown
Cartesian cut, Heisenberg cut, and the concept of complexity.Harald Atmanspacher - 1997 - World Futures 49 (3):333-355.
Sham Surgery: To Cut or Not to Cut—That Is the Ethical Dilemma.Peter A. Clark - 2003 - American Journal of Bioethics 3 (4):66-68.
Cut and pay.Marcelo Finger & Dov Gabbay - 2006 - Journal of Logic, Language and Information 15 (3):195-218.
Analytic cut trees.Carlo Cellucci - 2000 - Logic Journal of the IGPL 8 (6):733-750.

Analytics

Added to PP
2009-01-28

Downloads
466 (#41,411)

6 months
44 (#93,526)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Truth and speed-up.Martin Fischer - 2014 - Review of Symbolic Logic 7 (2):319-340.
Strict Finitism and the Happy Sorites.Ofra Magidor - 2012 - Journal of Philosophical Logic 41 (2):471-491.
Cut and pay.Marcelo Finger & Dov Gabbay - 2006 - Journal of Logic, Language and Information 15 (3):195-218.
Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks.Torben Braüner - 2014 - Journal of Logic, Language and Information 23 (4):415-439.

View all 15 citations / Add more citations

References found in this work

No references found.

Add more references