Advertisement

Beyond Two: Theory and Applications of Multiple-Valued Logic

  • Melvin Fitting
  • Ewa Orłowska

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Algebras of Multiple-valued Logics and Their Applications

    1. Front Matter
      Pages 1-1
    2. Janusz Brzozowski, Zoltán Ésik, Yaacov Iland
      Pages 3-24
  3. Proof Theory and Automated Deduction in Multiple-valued Logics

    1. Front Matter
      Pages 115-115
    2. Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
      Pages 157-180
    3. Beata Konikowska, Wojciech Penczek
      Pages 193-210
    4. Reiner Hähnle
      Pages 211-233
  4. Fuzzy Logics and Their Applications

    1. Front Matter
      Pages 235-235
    2. Tomoyuki Araki, Masao Mukaidono, Fujio Yamamoto
      Pages 237-250
    3. Francesc Esteva, Lluís Godo, Àngel García-Cerdaña
      Pages 251-272
    4. Petr Hájek, Zuzana Haniková
      Pages 273-285
    5. Anna Maria Radzikowska, Etienne E. Kerre
      Pages 287-312
  5. Multiple-valued Logics for Control Theory and Rational Belief

    1. Front Matter
      Pages 313-313
    2. Charles G. Morgan
      Pages 349-374

About this book

Introduction

This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics are treated, as well as applications of many-valued logics to reasoning with fuzzy information. Areas covered include: Algebras of multiple valued logics and their applications, proof theory and automated deduction in multiple valued logics, fuzzy logics and their applications, and multiple valued logics for control theory and rational belief.

Keywords

algebra algorithms approximation automated deduction automated theorem proving complexity control fuzzy fuzzy logic logic proof proof theory proving search algorithm semantics

Editors and affiliations

  • Melvin Fitting
    • 1
  • Ewa Orłowska
    • 2
  1. 1.Department of Mathematics and Computer ScienceLehmann CollegeBronxUSA
  2. 2.National Institute of TelecommunicationsWarsawPoland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-7908-1769-0
  • Copyright Information Physica-Verlag Heidelberg 2003
  • Publisher Name Physica, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-7908-2522-0
  • Online ISBN 978-3-7908-1769-0
  • Series Print ISSN 1434-9922
  • Series Online ISSN 1860-0808
  • Buy this book on publisher's site