skip to content
Multiple-conclusion logic Preview this item
ClosePreview this item
Checking...

Multiple-conclusion logic

Author: D J Shoesmith; T J Smiley
Publisher: Cambridge [England] ; New York : Cambridge University Press, 1978.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

This is a sustained study of the subject and is certain to stimulate further research.

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: D J Shoesmith; T J Smiley
ISBN: 0521217652 9780521217651
OCLC Number: 4182157
Description: xiii, 396 pages : illustrations ; 24 cm
Contents: Preface; Introduction; Part I. Multiple and Single Conclusions; 1. Single-conclusion calculi; 2. Multiple-conclusion calculi; 3. Tree proofs; 4. Axiomatisability; 5. Counterparts; 6. Infinite rules; Part II. Graph Proofs; 7. Graph arguments; 8. Kneale proofs; 9. Cross-reference; 10. Abstract proofs; 11. Single-conclusions proofs; 12. Infinite proofs; Part III: Many-valued Logic; 13. Many-valued calculi; 14. matrices; 15. Many-valuedness; 16. Counterparts; 17. Categoricity; 18. Two-valued logic; 19. Axiomatisation; Part IV. Natural Deduction; 20. Natural Deduction; Bibliography; Index.
Responsibility: D.J. Shoesmith, T.J. Smiley.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/4182157> # Multiple-conclusion logic
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "4182157" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/14574337#Place/cambridge_england> ; # Cambridge England
    schema:about <http://dewey.info/class/551.3/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/14574337#Thing/multiple_conclusion_logic> ; # Multiple-conclusion logic
    schema:about <http://experiment.worldcat.org/entity/work/data/14574337#Topic/calcul_des_predicats> ; # Calcul des prédicats
    schema:about <http://experiment.worldcat.org/entity/work/data/14574337#Topic/proposition_logique> ; # Proposition (Logique)
    schema:about <http://id.worldcat.org/fast/1008548> ; # Many-valued logic
    schema:about <http://experiment.worldcat.org/entity/work/data/14574337#Topic/wiskundige_logica> ; # Wiskundige logica
    schema:about <http://experiment.worldcat.org/entity/work/data/14574337#Topic/preuve_theorie_de_la> ; # Preuve, Théorie de la
    schema:about <http://experiment.worldcat.org/entity/work/data/14574337#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://id.loc.gov/authorities/classification/BC126> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/14574337#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/14574337#Topic/logik> ; # Logik
    schema:author <http://viaf.org/viaf/94769592> ; # Timothy John Smiley
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/12378284> ; # D. J. Shoesmith
    schema:datePublished "1978" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/14574337> ;
    schema:inLanguage "en" ;
    schema:name "Multiple-conclusion logic"@en ;
    schema:productID "4182157" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/4182157#PublicationEvent/cambridge_england_new_york_cambridge_university_press_1978> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/14574337#Agent/cambridge_university_press> ; # Cambridge University Press
    schema:url <http://www.gbv.de/dms/hbz/toc/ht000373076.pdf> ;
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0838/79300388-t.html> ;
    schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1910802&custom_att_2=simple_viewer> ;
    schema:workExample <http://worldcat.org/isbn/9780521217651> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB7826731> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/4182157> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/14574337#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
    schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/14574337#Place/cambridge_england> # Cambridge England
    a schema:Place ;
    schema:name "Cambridge England" ;
    .

<http://experiment.worldcat.org/entity/work/data/14574337#Thing/multiple_conclusion_logic> # Multiple-conclusion logic
    a schema:Thing ;
    schema:name "Multiple-conclusion logic" ;
    .

<http://experiment.worldcat.org/entity/work/data/14574337#Topic/calcul_des_predicats> # Calcul des prédicats
    a schema:Intangible ;
    schema:name "Calcul des prédicats"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/14574337#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/14574337#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
    schema:name "Mathematische Logik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/14574337#Topic/preuve_theorie_de_la> # Preuve, Théorie de la
    a schema:Intangible ;
    schema:name "Preuve, Théorie de la"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/14574337#Topic/proposition_logique> # Proposition (Logique)
    a schema:Intangible ;
    schema:name "Proposition (Logique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/14574337#Topic/wiskundige_logica> # Wiskundige logica
    a schema:Intangible ;
    schema:name "Wiskundige logica"@en ;
    .

<http://id.worldcat.org/fast/1008548> # Many-valued logic
    a schema:Intangible ;
    schema:name "Many-valued logic"@en ;
    .

<http://viaf.org/viaf/12378284> # D. J. Shoesmith
    a schema:Person ;
    schema:familyName "Shoesmith" ;
    schema:givenName "D. J." ;
    schema:name "D. J. Shoesmith" ;
    .

<http://viaf.org/viaf/94769592> # Timothy John Smiley
    a schema:Person ;
    schema:familyName "Smiley" ;
    schema:givenName "Timothy John" ;
    schema:givenName "T. J." ;
    schema:name "Timothy John Smiley" ;
    .

<http://worldcat.org/isbn/9780521217651>
    a schema:ProductModel ;
    schema:isbn "0521217652" ;
    schema:isbn "9780521217651" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.