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 resource (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://experiment.worldcat.org/entity/work/data/159058331#Person/barwise_jon> ; # Jon Barwise
    schema:contributor <http://experiment.worldcat.org/entity/work/data/159058331#Person/olivetti_nicola> ; # Nicola Olivetti
    schema:contributor <http://experiment.worldcat.org/entity/work/data/159058331#Person/gabbay_dov_m_1945> ; # Dov M. Gabbay
    schema:contributor <http://experiment.worldcat.org/entity/work/data/159058331#Person/metcalfe_george> ; # George Metcalfe
    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 <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#Person/barwise_jon> # Jon Barwise
    a schema:Person ;
    schema:familyName "Barwise" ;
    schema:givenName "Jon" ;
    schema:name "Jon Barwise" ;
    .

<http://experiment.worldcat.org/entity/work/data/159058331#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/159058331#Person/metcalfe_george> # George Metcalfe
    a schema:Person ;
    schema:familyName "Metcalfe" ;
    schema:givenName "George" ;
    schema:name "George Metcalfe" ;
    .

<http://experiment.worldcat.org/entity/work/data/159058331#Person/olivetti_nicola> # Nicola Olivetti
    a schema:Person ;
    schema:familyName "Olivetti" ;
    schema:givenName "Nicola" ;
    schema:name "Nicola Olivetti" ;
    .

<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://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.