Beyond Two: Theory and Applications of Multiple-Valued Logic / Edition 1

Beyond Two: Theory and Applications of Multiple-Valued Logic / Edition 1

by Melvin Fitting
     
 

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

See more details below

Overview

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.

Product Details

ISBN-13:
9783790815412
Publisher:
Physica-Verlag HD
Publication date:
02/12/2003
Series:
Studies in Fuzziness and Soft Computing Series, #114
Edition description:
2003
Pages:
374
Product dimensions:
9.21(w) x 6.14(h) x 0.88(d)

Related Subjects

Table of Contents

Pt. IAlgebras of Multiple-valued Logics and Their Applications1
Ch. 1Algebras for Hazard Detection3
Ch. 2An Abstract Algebraic Logic View of Some Multiple-valued Logics25
Ch. 3Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving59
Ch. 4An Algebraic Approach to Entropy and its Generalizations - A Survey101
Pt. IIProof Theory and Automated Deduction in Multiple-valued Logics115
Ch. 5Classical Gentzen-type Methods in Propositional Many-valued Logics117
Ch. 6Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-valued Logics157
Ch. 7Polarity-based Stochastic Local Search Algorithms for Non-clausal Satisfiability181
Ch. 8Model Checking for Multi-valued Computation Tree Logics193
Ch. 9Complexity of Many-valued Logics211
Pt. IIIFuzzy Logics and Their Applications235
Ch. 10Ternary Kleenean Non-additive Measures237
Ch. 11On the Hierarchy of t-norm Based Residuated Fuzzy Logics251
Ch. 12A Development of Set Theory in Fuzzy Logic273
Ch. 13A Fuzzy Generalisation of Information Relations287
Pt. IVMultiple-valued Logics for Control Theory and Rational Belief313
Ch. 14Weierstrass Approximation Theorem and Lukasiewicz Formulas with one Quantified Variable315
Ch. 15A Lukasiewicz-style Many-valued Similarity Reasoning. Review337
Ch. 16Two Values, Three Values, Many Values, No Values349

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >