Don't eliminate cut
Journal of Philosophical Logic 13 (4):373 - 378 (1984)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFrancesco Belardinelli, Peter Jipsen & Hiroakira Ono (2004). Algebraic Aspects of Cut Elimination. Studia Logica 77 (2):209 - 240.
Marcelo Finger & Dov Gabbay (2006). Cut and Pay. Journal of Logic, Language and Information 15 (3).
Peter A. Clark (2003). Sham Surgery: To Cut or Not to Cut—That Is the Ethical Dilemma. American Journal of Bioethics 3 (4):66-68.
Harald Atmanspacher (1997). Cartesian Cut, Heisenberg Cut, and the Concept of Complexity. World Futures 49 (3):333-355.
Gilles Dowek & Benjamin Werner (2003). Proof Normalization Modulo. Journal of Symbolic Logic 68 (4):1289-1316.
Sara Negri & Jan von Plato (2001). Sequent Calculus in Natural Deduction Style. Journal of Symbolic Logic 66 (4):1803-1816.
Carlo Cellucci (2000). Analytic Cut Trees. Logic Journal of the IGPL 8:733-750.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads134 ( #3,299 of 549,130 )Recent downloads (6 months)6 ( #12,444 of 549,130 )How can I increase my downloads? |
My notes
Discussion
