|
" Beyond Two: Theory and Applications of Multiple-Valued Logic "
edited by Melvin Fitting, Ewa Orłowska.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
578854
|
| Doc. No
|
:
|
b408073
|
| Main Entry
|
:
|
Fitting, Melvin.
|
| Title & Author
|
:
|
Beyond Two: Theory and Applications of Multiple-Valued Logic\ edited by Melvin Fitting, Ewa Orłowska.
|
| Publication Statement
|
:
|
Heidelberg :: Physica-Verlag HD :: Imprint: Physica,, 2003.
|
| Series Statement
|
:
|
Studies in Fuzziness and Soft Computing,; 114
|
| ISBN
|
:
|
9783790817690
|
|
|
:
|
: 9783790825220
|
| Contents
|
:
|
Part I: Algebras of Multiple-valued Logics and Their Applications -- Part II: Proof Theory and Automated Deduction in Multi-valued Logics -- Part III: Fuzzy Logics and Their Applications.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Logic design.
|
| Subject
|
:
|
Artificial intelligence.
|
| Subject
|
:
|
Algebra.
|
| Added Entry
|
:
|
Orłowska, Ewa.
|
| Added Entry
|
:
|
SpringerLink (Online service)
|
| |