Beyond two
Subtitle: theory and applications of multiple-valued logic
By: Melvin Fitting, Ewa Orłowska, editors
Contributors: Orlowska, Ewa
Series: Studies in fuzziness and soft computing -- 114; Studies in fuzziness and soft computing -- 114.
Publisher: Physica-Verlag
Published: 2003
Place of publication: Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 374
ISBN-13: 9783790817690; 9783790825220
Subjects: Mathematical Logic and Formal Languages; Logic Design; Logics and Meanings of Programs; Computer Science; Mathematics of Computing; Many-valued logic; Artificial Intelligence (incl. Robotics)
Description: 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.
Notes: Includes bibliographical references.
Table of contents: title: Part I: Algebras of Multiple-valued Logics and Their Applications; title: Part II: Proof Theory and Automated Deduction in Multi-valued Logics; title: Part III: Fuzzy Logics and Their Applications.