Metamathematics of Fuzzy Logic

  • Petr Hájek

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

Table of contents

  1. Front Matter
    Pages N3-viii
  2. Petr Hájek
    Pages 1-26
  3. Petr Hájek
    Pages 27-61
  4. Petr Hájek
    Pages 63-87
  5. Petr Hájek
    Pages 109-147
  6. Petr Hájek
    Pages 167-194
  7. Petr Hájek
    Pages 195-248
  8. Petr Hájek
    Pages 249-276
  9. Petr Hájek
    Pages 277-282
  10. Back Matter
    Pages 283-299

About this book

Introduction

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.

Keywords

addition logic mathematical logic predicate logic

Authors and affiliations

  • Petr Hájek
    • 1
  1. 1.Institute of Computer ScienceAcademy of Sciences of the Czech RepublicPragueCzech Republic

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-011-5300-3
  • Copyright Information Kluwer Academic Publishers 1998
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4020-0370-7
  • Online ISBN 978-94-011-5300-3
  • Series Print ISSN 1572-6126
  • About this book