References
Anderson, A. R. and Belnap, N. D.: 1976, Entailment, Vol. I, Princeton.
Prawitz, D.: 1965, Natural Deduction, Stockholm.
Smiley, T. J.: 1958–9, ‘Entailment and Deducibility’, Proceedings of the Aristotelian Society n.s. 59, 233–254.
Tennant, N.: 1978, Natural Logic, Edinburgh.
Tennant, N.: 1979, ‘Entailment and Proofs’, Proceedings of the Aristotelian Society n.s. 79, 167–189.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Tennant, N. A proof-theoretic approach to entailment. J Philos Logic 9, 185–209 (1980). https://doi.org/10.1007/BF00247748
Issue Date:
DOI: https://doi.org/10.1007/BF00247748