Staff View
Minimal logic and computers, chapter I: the method of subordinate proofs

Descriptive

Language
LanguageTerm (authority = ISO 639-3:2007); (type = text)
English
Genre (authority = RULIB-FS)
Other
Genre (authority = marcgt)
technical report
Genre (authority = RULIB-FS)
Book Chapter
PhysicalDescription
InternetMediaType
application/pdf
Extent
1 online resource (33 pages)
Note (type = special display note)
Technical report DCS-TR-23
Name (authority = RutgersOrg-School); (type = corporate)
NamePart
School of Arts and Sciences (SAS) (New Brunswick)
Name (authority = RutgersOrg-Department); (type = corporate)
NamePart
Computer Science (New Brunswick)
TypeOfResource
Text
TitleInfo
Title
Minimal logic and computers, chapter I: the method of subordinate proofs
TitleInfo (type = alternative)
Title
The method of subordinate proofs
Abstract (type = abstract)
10.1 We will be using a particular form of natural deduction, known as the method of subordinate proofs, to construct proofs in the system of logic which is described in chapters II to V. There are two reasons for using the method of subordinate proofs: one is pragmatic and the other is technical. Experience has shown that the method of subordinate proofs is easy to teach and facilitates the construction of proofs. The method of subordinate proofs allows us to construct proofs which have other proofs as hypothesis in a straightforward manner.

10.2 In order to make this book self-contained, this chapter is an introduction to the method of subordinate proofs. So that the reader may concentrate on the method, we will sketch a subordinate proof formulation of a system of logic with which he is already familiar: the propositional calculus. Our discussion is quite informal. The reader is encouraged to provide the missing details using his favorite formulation of the propositional calculus.
Name (type = personal)
NamePart (type = family)
Fitch
NamePart (type = given)
Frederic B.
Affiliation
Yale University
Role
RoleTerm (authority = marcrt); (type = text)
author
Name (type = personal)
NamePart (type = family)
Orgass
NamePart (type = given)
Richard J.
Affiliation
Computer Science (New Brunswick)
Role
RoleTerm (authority = marcrt); (type = text)
author
OriginInfo
DateCreated (encoding = w3cdtf); (keyDate = yes); (qualifier = exact)
1969
RelatedItem (type = host)
TitleInfo
Title
Computer Science (New Brunswick)
Identifier (type = local)
rucore21032500001
Location
PhysicalLocation (authority = marcorg); (displayLabel = Rutgers, The State University of New Jersey)
NjNbRU
Identifier (type = doi)
doi:10.7282/t3-8ehn-6y42
Genre (authority = ExL-Esploro)
Technical Documentation
Back to the top

Rights

RightsDeclaration (AUTHORITY = rightsstatements.org); (TYPE = IN COPYRIGHT); (ID = http://rightsstatements.org/vocab/InC/1.0/)
This Item is protected by copyright and/or related rights.You are free to use this Item in any way that is permitted by the copyright and related rights legislation that applies to your use.For other uses you need to obtain permission from the rights-holder(s).
Status
Availability
Status
Open
Reason