Advertisement

Lattice-Valued Logic

An Alternative Approach to Treat Fuzziness and Incomparability

  • Yang Xu
  • Keyun Qin
  • Da Ruan
  • Jun Liu

Part of the Studies in Fuzziness and Soft Computing book series (STUDFUZZ, volume 132)

Table of contents

  1. Front Matter
    Pages N1-xvi
  2. Introduction

    1. Front Matter
      Pages 1-1
    2. Yang Xu, Keyun Qin, Da Ruan, Jun Liu
      Pages 3-24
  3. Lattice Implication Algebras

    1. Front Matter
      Pages 25-25
    2. Yang Xu, Keyun Qin, Da Ruan, Jun Liu
      Pages 27-57
    3. Yang Xu, Keyun Qin, Da Ruan, Jun Liu
      Pages 59-83
    4. Yang Xu, Keyun Qin, Da Ruan, Jun Liu
      Pages 85-99
    5. Yang Xu, Keyun Qin, Da Ruan, Jun Liu
      Pages 101-134
    6. Yang Xu, Keyun Qin, Da Ruan, Jun Liu
      Pages 135-151
    7. Yang Xu, Keyun Qin, Da Ruan, Jun Liu
      Pages 153-169
    8. Yang Xu, Keyun Qin, Da Ruan, Jun Liu
      Pages 171-204
  4. Lattice-Valued Logic Systems

    1. Front Matter
      Pages 205-205
    2. Yang Xu, Keyun Qin, Da Ruan, Jun Liu
      Pages 207-257
    3. Yang Xu, Keyun Qin, Da Ruan, Jun Liu
      Pages 259-304
    4. Yang Xu, Keyun Qin, Da Ruan, Jun Liu
      Pages 305-359
  5. Back Matter
    Pages 361-390

About this book

Introduction

Lattice-valued logic aims at establishing the logical foundation for uncertain information processing routinely performed by humans and artificial intelligence systems. In this textbook for the first time a general introduction on lattice-valued logic is given. It systematically summarizes research from the basic notions up to recent results on lattice implication algebras, lattice-valued logic systems based on lattice implication algebras, as well as the corresponding reasoning theories and methods. The book provides the suitable theoretical logical background of lattice-valued logic systems and supports newly designed intelligent uncertain-information-processing systems and a wide spectrum of intelligent learning tasks.

Keywords

Approximated Reasoning Automated Reasoning Computer-Aided Design (CAD) Fuzzy Fuzzy Logic Fuzzy Sets Lattice Lattice Implication Algebra Lattice-Valued Logic Many Valued Logic Non-Classical Logic artificial intelligence intelligence model theory semantics

Authors and affiliations

  • Yang Xu
    • 1
  • Keyun Qin
    • 1
  • Da Ruan
    • 2
  • Jun Liu
    • 3
  1. 1.Department of Applied MathematicsSouthwest Jiaotong UniversityChengdu, SichuanPR China
  2. 2.Belgian Nuclear Research Center ( SCK*CEN)MolBelgium
  3. 3.Department of MathematicsThe University of Manchester Institute of Science and TechnologyManchesterUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-44847-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-07279-6
  • Online ISBN 978-3-540-44847-1
  • Series Print ISSN 1434-9922
  • Series Online ISSN 1860-0808
  • Buy this book on publisher's site
Industry Sectors
Electronics
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering