Skip to main content
SpringerLink
Log in
Book cover

Metamathematics of Fuzzy Logic

  • Book
  • © 1998

Overview

Authors:
  1. Petr Hájek

    1. Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague, Czech Republic

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Trends in Logic (TREN, volume 4)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 249.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 chapters)

  1. Front Matter

    Pages N3-viii
    Download chapter PDF

  2. Preliminaries

    • Petr Hájek
    Pages 1-26

  3. Many-Valued Propositional Calculi

    • Petr Hájek
    Pages 27-61

  4. Łukasiewicz Propositional Logic

    • Petr Hájek
    Pages 63-87

  5. Product Logic, Gödel Logic (and Boolean Logic)

    • Petr Hájek
    Pages 89-107

  6. Many-Valued Predicate Logics

    • Petr Hájek
    Pages 109-147

  7. Questions of Computational Complexity and Undecidability

    • Petr Hájek
    Pages 149-166

  8. On Approximate Inference

    • Petr Hájek
    Pages 167-194

  9. Generalized Quantifiers and Modalities

    • Petr Hájek
    Pages 195-248

  10. Miscellanea

    • Petr Hájek
    Pages 249-276

  11. Historical Remarks

    • Petr Hájek
    Pages 277-282

  12. Back Matter

    Pages 283-299
    Download chapter PDF
Back to top

Keywords

About this book

This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named `fuzzy inference' can be naturally understood as logical deduction.

Reviews

"...Moreover, it can be an excellent guideline for a postgraduate course in fuzzy logic because of its clear and well-organized content. Definitively, an excellent book that we enthusiastically recommend, and that fuzzy and mathematical logic (and probably philosophical logic as well) communities have been waiting for, for a long time."
(F. Esteva, L. Godo, International Journal of General Systems, 29:5 (2000)
"On whole this book occupies a unique place in the literature on fuzzy sets and fuzzy logic and fills a substantial gap. This is the only existing monograph offering a comprehensive study of triangular norms and their interconnections. Overall the book is very well written and should become the standard reference for triangular norms."
(Mathematical Reviews, 2002a)

Authors and Affiliations

  • Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague, Czech Republic

    Petr Hájek

Bibliographic Information

  • Book Title: Metamathematics of Fuzzy Logic

  • Authors: Petr Hájek

  • Series Title: Trends in Logic

  • DOI: https://doi.org/10.1007/978-94-011-5300-3

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media Dordrecht 1998

  • Hardcover ISBN: 978-0-7923-5238-9Published: 31 August 1998

  • Softcover ISBN: 978-1-4020-0370-7Published: 30 November 2001

  • eBook ISBN: 978-94-011-5300-3Published: 01 December 2013

  • Series ISSN: 1572-6126

  • Series E-ISSN: 2212-7313

  • Edition Number: 1

  • Number of Pages: VIII, 299

  • Topics: Logic, Mathematical Logic and Foundations

Publish with us

Policies and ethics

Back to top

Search

Navigation