Notes and references
Richard Jeffrey, Formal Logic: its Scope and Limits, second edition, McGraw-Hill Book Company, New York (1981).
Raymond M. Smullyan, First-order Logic, Springer-Verlag New York Inc., New York (1968).
Benson Mates, Elementary Logic, second edition, Oxford University Press, New York (1972).
Jeffrey, op. cit., pp. 34–35.
‘Toward useful type-free theories, I', to appear in Journal of Symbolic Logic.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Boolos, G. Don't eliminate cut. J Philos Logic 13, 373–378 (1984). https://doi.org/10.1007/BF00247711
Issue Date:
DOI: https://doi.org/10.1007/BF00247711