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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

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

George Boolos. To be is to be a value of a variable . The journal of philosophy, vol. 81 , pp. 430–449. - George Boolos. Nominalist Platonism, The philosophical review, vol. 94 , pp. 327–344. [REVIEW]John P. Burgess - 1989 - Journal of Symbolic Logic 54 (2):616-617.
George Boolos. Logic, Logic and Logic.M. D. Resnik - 1999 - Philosophia Mathematica 7 (2):328-335.
George Boolos, Logic, Logic and Logic. [REVIEW]Alasdair Urquhart - 1999 - Philosophy in Review 19:244-246.
George Boolos, Logic, Logic and Logic Reviewed by.Alasdair Urquhart - 1999 - Philosophy in Review 19 (4):244-246.
George Boolos.Charles Parsons - 1999 - Notre Dame Journal of Formal Logic 40 (1):3-5.
George Boolos, The Logic of Provability. [REVIEW]Helen Billinge - 1995 - Philosophy in Review 15:310-312.
Review: George Boolos, The Unprovability of Consistency. An Essay in Modal Logic. [REVIEW]C. Smorynski - 1981 - Journal of Symbolic Logic 46 (4):871-873.
George Boolos, The Logic of Provability Reviewed by.Helen Billinge - 1995 - Philosophy in Review 15 (5):310-312.
In Memoriam: George Stephen Boolos 1940–1996.Warren Goldfarb - 1996 - Bulletin of Symbolic Logic 2 (4):444-447.

Analytics

Added to PP
2009-01-28

Downloads
493 (#57,327)

6 months
19 (#152,900)

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.
Hybrid Logic and its Proof-Theory.Torben Braüner - 2010 - Dordrecht and New York: Springer.
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 16 citations / Add more citations

References found in this work

No references found.

Add more references