skip to content
Proof Theory for Fuzzy Logics Preview this item
ClosePreview this item
Checking...

Proof Theory for Fuzzy Logics

Author: George Metcalfe; Jon Barwise; Dov M Gabbay; Nicola Olivetti
Publisher: Dordrecht : Springer Netherlands, 2009.
Series: Applied Logic Series, 36.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Publication:Proof theory for fuzzy logics.
Summary:

This accessible and up-to-date introduction to fuzzy logics focuses on the development and applications of "proof theoretic" presentations of fuzzy logics, including more than ten years of intensive  Read more...

Rating:

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

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

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

Details

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: George Metcalfe; Jon Barwise; Dov M Gabbay; Nicola Olivetti
ISBN: 9781402094095 1402094094
OCLC Number: 698778260
In: Metcalfe, George
Notes: In: Springer-Online.
Description: 1 Online-Ressource : v.: digital.
Contents: The Semantic Basis.- Hilbert Systems.- Gentzen Systems.- Syntactic Eliminations.- Fundamental Logics.- Uniformity and Efficiency.- First-Order Logics.- Further Topics.
Series Title: Applied Logic Series, 36.
Responsibility: by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise.

Reviews

Editorial reviews

Publisher Synopsis

From the reviews:"This is a pioneering book on proofs for fuzzy logics, well-suited both for logicians who are interested in fuzzy logic and for specialists in expert systems and fuzzy logic 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/698778260> # Proof Theory for Fuzzy Logics
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
   library:oclcnum "698778260" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/159058331#Place/dordrecht> ; # Dordrecht
   schema:about <http://experiment.worldcat.org/entity/work/data/159058331#Topic/order_lattices_ordered_algebraic_structures> ; # Order, Lattices, Ordered Algebraic Structures
   schema:about <http://experiment.worldcat.org/entity/work/data/159058331#Topic/artificial_intelligence_incl_robotics> ; # Artificial Intelligence--(incl. Robotics)
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://experiment.worldcat.org/entity/work/data/159058331#Topic/fuzzy_logik> ; # Fuzzy-Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/159058331#Topic/beweistheorie> ; # Beweistheorie
   schema:about <http://id.worldcat.org/fast/1002014> ; # Logic
   schema:about <http://id.worldcat.org/fast/1012163> ; # Mathematics
   schema:about <http://dewey.info/class/511.3/> ;
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/159058331#Topic/mathematical_logic_and_foundations> ; # Mathematical Logic and Foundations
   schema:about <http://id.worldcat.org/fast/804885> ; # Algebra
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/76325399> ; # Dov M. Gabbay
   schema:contributor <http://viaf.org/viaf/42074163> ; # Nicola Olivetti
   schema:contributor <http://viaf.org/viaf/56147826> ; # George Metcalfe
   schema:contributor <http://viaf.org/viaf/34471625> ; # Jon Barwise
   schema:datePublished "2009" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/159058331> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/159058331#Series/applied_logic_series> ; # Applied Logic Series ;
   schema:name "Proof Theory for Fuzzy Logics" ;
   schema:productID "698778260" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/698778260#PublicationEvent/dordrecht_springer_netherlands_2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/159058331#Agent/springer_netherlands> ; # Springer Netherlands
   schema:url <http://dx.doi.org/10.1007/978-1-4020-9409-5> ;
   schema:url <http://www.springerlink.com/content/gl2r55> ;
   schema:url <http://nbn-resolving.de/urn:nbn:de:1111-2009022029> ;
   schema:url <https://doi.org/10.1007/978-1-4020-9409-5> ;
   schema:url <http://d-nb.info/992789389/34> ;
   schema:workExample <http://worldcat.org/isbn/9781402094095> ;
   schema:workExample <http://dx.doi.org/10.1007/978-1-4020-9409-5> ;
   umbel:isLike <http://d-nb.info/992789389> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/698778260> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/159058331#Agent/springer_netherlands> # Springer Netherlands
    a bgn:Agent ;
   schema:name "Springer Netherlands" ;
    .

<http://experiment.worldcat.org/entity/work/data/159058331#Series/applied_logic_series> # Applied Logic Series ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/698778260> ; # Proof Theory for Fuzzy Logics
   schema:name "Applied Logic Series ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/159058331#Topic/artificial_intelligence_incl_robotics> # Artificial Intelligence--(incl. Robotics)
    a schema:Intangible ;
   schema:name "Artificial Intelligence--(incl. Robotics)" ;
    .

<http://experiment.worldcat.org/entity/work/data/159058331#Topic/mathematical_logic_and_foundations> # Mathematical Logic and Foundations
    a schema:Intangible ;
   schema:name "Mathematical Logic and Foundations" ;
    .

<http://experiment.worldcat.org/entity/work/data/159058331#Topic/order_lattices_ordered_algebraic_structures> # Order, Lattices, Ordered Algebraic Structures
    a schema:Intangible ;
   schema:name "Order, Lattices, Ordered Algebraic Structures" ;
    .

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

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical" ;
    .

<http://id.worldcat.org/fast/1012163> # Mathematics
    a schema:Intangible ;
   schema:name "Mathematics" ;
    .

<http://id.worldcat.org/fast/804885> # Algebra
    a schema:Intangible ;
   schema:name "Algebra" ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence" ;
    .

<http://viaf.org/viaf/34471625> # Jon Barwise
    a schema:Person ;
   schema:familyName "Barwise" ;
   schema:givenName "Jon" ;
   schema:name "Jon Barwise" ;
    .

<http://viaf.org/viaf/42074163> # Nicola Olivetti
    a schema:Person ;
   schema:familyName "Olivetti" ;
   schema:givenName "Nicola" ;
   schema:name "Nicola Olivetti" ;
    .

<http://viaf.org/viaf/56147826> # George Metcalfe
    a schema:Person ;
   schema:familyName "Metcalfe" ;
   schema:givenName "George" ;
   schema:name "George Metcalfe" ;
    .

<http://viaf.org/viaf/76325399> # Dov M. Gabbay
    a schema:Person ;
   schema:birthDate "1945" ;
   schema:familyName "Gabbay" ;
   schema:givenName "Dov M." ;
   schema:name "Dov M. Gabbay" ;
    .

<http://worldcat.org/isbn/9781402094095>
    a schema:ProductModel ;
   schema:isbn "1402094094" ;
   schema:isbn "9781402094095" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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