Journal of Philosophical Logic

, Volume 13, Issue 4, pp 373–378 | Cite as

Don't eliminate cut

  • George Boolos


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Notes and references

  1. 2.
    Richard Jeffrey, Formal Logic: its Scope and Limits, second edition, McGraw-Hill Book Company, New York (1981).Google Scholar
  2. 3.
    Raymond M. Smullyan, First-order Logic, Springer-Verlag New York Inc., New York (1968).Google Scholar
  3. 4.
    Benson Mates, Elementary Logic, second edition, Oxford University Press, New York (1972).Google Scholar
  4. 5.
    Jeffrey, op. cit., pp. 34–35.Google Scholar
  5. 6.
    ‘Toward useful type-free theories, I', to appear in Journal of Symbolic Logic.Google Scholar

Copyright information

© D. Reidel Publishing Company 1984

Authors and Affiliations

  • George Boolos
    • 1
  1. 1.Department of Linguistics and PhilosophyMassachusetts Institute of TechnologyCambridgeUSA

Personalised recommendations