Beyond Two: Theory and Applications of Multiple-Valued Logic
Buch in deiner Nähe kaufen
Beschreibung
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.
Exhaustive representation with all the relevant references Current state of research Includes supplementary material: sn.pub/extras
Autor*in
Melvin Fitting
Themen in »Beyond Two: Theory and Applications of Multiple-Valued Logic«
algebra algorithms approximation automated deduction automated theorem proving complexity control fuzzy fuzzy logic logic proof proof theory proving search algorithm semantics