skip to content
Labelled deductive systems Preview this item
ClosePreview this item
Checking...

Labelled deductive systems

Author: Dov M Gabbay
Publisher: Oxford : Clarendon Press ; New York : Oxford University Press, 1996-
Series: Oxford logic guides, 33.; Oxford science publications.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

This book introduces a new unifying framework for logics which makes it particularly suitable for applications. It develops its general theory and illustrates it with applications in logic, computer  Read more...

Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Additional Physical Format: Online version:
Gabbay, Dov M., 1945-
Labelled deductive systems.
Oxford : Clarendon Press ; New York : Oxford University Press, 1996-
(OCoLC)605124754
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Dov M Gabbay
ISBN: 0198538332 9780198538332
OCLC Number: 34943274
Description: volumes <1> : illustrations ; 24 cm.
Contents: Vol. 1. 1996.
Series Title: Oxford logic guides, 33.; Oxford science publications.
Responsibility: Dov M. Gabbay.
More information:

Reviews

Editorial reviews

Publisher Synopsis

The book is carefully written from a mathematical standpoint. It is also very pleasant to read, thanks to the clear and good-humoured writing style of Professor Gabbay... it should be of interest to Read more...

 
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/34943274> # Labelled deductive systems
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "34943274" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/34592570#Place/oxford> ; # Oxford
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://id.loc.gov/authorities/classification/BC71> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/34592570#Thing/logic> ; # Logic
    schema:about <http://experiment.worldcat.org/entity/work/data/34592570#Topic/deduktionssystem> ; # Deduktionssystem
    schema:about <http://id.worldcat.org/fast/1002014> ; # Logic
    schema:about <http://dewey.info/class/160/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/34592570#Topic/logisch_programmeren> ; # Logisch programmeren
    schema:about <http://experiment.worldcat.org/entity/work/data/34592570#Topic/logique> ; # Logique
    schema:about <http://experiment.worldcat.org/entity/work/data/34592570#Topic/logica_matematica> ; # Logica matematica
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/34592570#Person/gabbay_dov_m_1945> ; # Dov M. Gabbay
    schema:datePublished "1996/" ;
    schema:datePublished "1996/9999" ;
    schema:description "Vol. 1. 1996."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/34592570> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/34592570#Series/oxford_science_publications> ; # Oxford science publications.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/34592570#Series/oxford_logic_guides> ; # Oxford logic guides ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/605124754> ;
    schema:name "Labelled deductive systems"@en ;
    schema:productID "34943274" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/34943274#PublicationEvent/oxford_clarendon_press_new_york_oxford_university_press_1996> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/34592570#Agent/oxford_university_press> ; # Oxford University Press
    schema:publisher <http://experiment.worldcat.org/entity/work/data/34592570#Agent/clarendon_press> ; # Clarendon Press
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0604/96025507-t.html> ;
    schema:workExample <http://worldcat.org/isbn/9780198538332> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9671190> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/34943274> ;
    .


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/34592570#Agent/clarendon_press> # Clarendon Press
    a bgn:Agent ;
    schema:name "Clarendon Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/34592570#Agent/oxford_university_press> # Oxford University Press
    a bgn:Agent ;
    schema:name "Oxford University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/34592570#Person/gabbay_dov_m_1945> # Dov M. Gabbay
    a schema:Person ;
    schema:birthDate "1945" ;
    schema:familyName "Gabbay" ;
    schema:givenName "Dov M." ;
    schema:name "Dov M. Gabbay" ;
    .

<http://experiment.worldcat.org/entity/work/data/34592570#Series/oxford_logic_guides> # Oxford logic guides ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/34943274> ; # Labelled deductive systems
    schema:name "Oxford logic guides ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/34592570#Series/oxford_science_publications> # Oxford science publications.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/34943274> ; # Labelled deductive systems
    schema:name "Oxford science publications." ;
    schema:name "Oxford science publications" ;
    .

<http://experiment.worldcat.org/entity/work/data/34592570#Topic/deduktionssystem> # Deduktionssystem
    a schema:Intangible ;
    schema:name "Deduktionssystem"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/34592570#Topic/logica_matematica> # Logica matematica
    a schema:Intangible ;
    schema:name "Logica matematica"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/34592570#Topic/logisch_programmeren> # Logisch programmeren
    a schema:Intangible ;
    schema:name "Logisch programmeren"@en ;
    .

<http://id.worldcat.org/fast/1002014> # Logic
    a schema:Intangible ;
    schema:name "Logic"@en ;
    .

<http://worldcat.org/isbn/9780198538332>
    a schema:ProductModel ;
    schema:isbn "0198538332" ;
    schema:isbn "9780198538332" ;
    .

<http://www.worldcat.org/oclc/605124754>
    a schema:CreativeWork ;
    rdfs:label "Labelled deductive systems." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/34943274> ; # Labelled deductive systems
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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