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.

Full Product Details

Author:   Melvin Fitting ,  Ewa Orlowska
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Physica-Verlag GmbH & Co
Edition:   Softcover reprint of hardcover 1st ed. 2003
Volume:   114
Dimensions:   Width: 15.50cm , Height: 2.00cm , Length: 23.50cm
Weight:   0.593kg
ISBN:  

9783790825220

ISBN 10:   3790825220
Pages:   374
Publication Date:   21 October 2010
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Algebras of Multiple-valued Logics and Their Applications.- Algebras for Hazard Detection.- An Abstract Algebraic Logic View of Some Mutiple-valued Logics.- Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving.- An Algebraic Approach to Entropy and its Generalizations — A Survey.- Proof Theory and Automated Deduction in Multiple-valued Logics.- Classical Gentzen-type Methods in Propositional Many-valued Logics.- Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-valued Logics.- Polarity-based Stochastic Local Search Algorithms for Non-clausal Satisfiability.- Model Checking for Multi-valued Computation Tree Logics.- Complexity of Many-valued Logics.- Fuzzy Logics and Their Applications.- Ternary Kleenean Non-additive Measures.- On the Hierarchy of t-norm Based Residuated Fuzzy Logics.- A Development of Set Theory in Fuzzy Logic.- A Fuzzy Generalisation of Information Relations.- Multiple-valued Logics for Control Theory and Rational Belief.- Weierstrass Approximation Theorem and ?ukasiewicz Formulas with one Quantified Variable.- A ?ukasiewicz—style Many-valued Similarity Reasoning. Review.- Two Values, Three Values, Many Values, No Values.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions