Copi's method of deduction

Notre Dame Journal of Formal Logic 20 (2):295-300 (1979)
  Copy   BIBTEX

Abstract

Copi's method of deduction is formalized and shown to be complete

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093882535

Other Versions

No versions found

Links

PhilArchive

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

Copi's method of deduction again.M. C. Bradley - 1971 - Notre Dame Journal of Formal Logic 12 (4):454-458.
Completeness of Copi's method of deduction.John Thomas Canty - 1963 - Notre Dame Journal of Formal Logic 4 (2):142-144.
Errata: "Copi's method of deduction again".M. C. Bradley - 1973 - Notre Dame Journal of Formal Logic 14 (4):584-584.
Gerald J. Massey. Note on Copi's system. Notre Dame journal of formal logic, vol. 4 , pp. 140–141. - John Thomas Canty. Completeness of Copi's method of deduction. Notre Dame journal of formal logic, vol. 4 , pp. 142–144. [REVIEW]Donald Kalish - 1965 - Journal of Symbolic Logic 30 (3):366-367.
The completeness of Copi's system of natural deduction.John A. Winnie - 1970 - Notre Dame Journal of Formal Logic 11 (3):379-382.
A mistake in Copi's discussion of completeness.W. C. Wilcox - 1971 - Notre Dame Journal of Formal Logic 12 (4):459-460.
Note on Copi's system.Gerald J. Massey - 1963 - Notre Dame Journal of Formal Logic 4 (2):140-141.
A correction in Copi's account of Boolean normal forms.Alex Blum - 1973 - Notre Dame Journal of Formal Logic 14 (2):288-288.
A note on the completeness proof for natural deduction.David W. Bennett - 1977 - Notre Dame Journal of Formal Logic 18 (1):145-146.
An elementary completeness proof for a system of natural deduction.David W. Bennett - 1973 - Notre Dame Journal of Formal Logic 14 (3):430-432.

Analytics

Added to PP
2010-08-24

Downloads
660 (#87,416)

6 months
93 (#128,479)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Frederick Johnson
Frederick Johnson
Colorado State University

Citations of this work

No citations found.

Add more citations

References found in this work

[no title].学 玲 - manuscript
Completeness of Copi's method of deduction.John Thomas Canty - 1963 - Notre Dame Journal of Formal Logic 4 (2):142-144.
Copi's method of deduction again.M. C. Bradley - 1971 - Notre Dame Journal of Formal Logic 12 (4):454-458.

Add more references