Skip to main content
  • Book
  • © 2003

Beyond Two: Theory and Applications of Multiple-Valued Logic

  • Exhaustive representation with all the relevant references
  • Current state of research
  • Includes supplementary material: sn.pub/extras

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

Buy it now

Buying options

eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.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

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

Table of contents (16 chapters)

  1. Front Matter

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

    1. Front Matter

      Pages 1-1
    2. Algebras for Hazard Detection

      • 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. Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-valued Logics

      • Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
      Pages 157-180
    3. Model Checking for Multi-valued Computation Tree Logics

      • Beata Konikowska, Wojciech Penczek
      Pages 193-210
    4. Complexity of Many-valued Logics

      • Reiner Hähnle
      Pages 211-233
  4. Fuzzy Logics and Their Applications

    1. Front Matter

      Pages 235-235
    2. Ternary Kleenean Non-additive Measures

      • Tomoyuki Araki, Masao Mukaidono, Fujio Yamamoto
      Pages 237-250
    3. On the Hierarchy of t-norm Based Residuated Fuzzy Logics

      • Francesc Esteva, Lluís Godo, Àngel García-Cerdaña
      Pages 251-272
    4. A Development of Set Theory in Fuzzy Logic

      • Petr Hájek, Zuzana Haniková
      Pages 273-285
    5. A Fuzzy Generalisation of Information Relations

      • 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

About this book

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.

Editors and Affiliations

  • Department of Mathematics and Computer Science, Lehmann College, Bronx, USA

    Melvin Fitting

  • National Institute of Telecommunications, Warsaw, Poland

    Ewa Orłowska

Bibliographic Information

Buy it now

Buying options

eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.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