Beyond Two: Theory and Applications of Multiple-Valued Logic

Melvin Fitting, Ewa S. Orlowska

384 pages, parution le 17/01/2003

Ajouter à une liste

Indisponible

Résumé

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.

Contents

Part I Algebras of Multiple-valued Logics and Their Applications

Algebras for Hazard Detection Janusz Brzozowski, Zoltan Esik, Yaacov Iland
An Abstract Algebraic Logic View of Some Mutiple-valued Logics Josep Maria Font
Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving
Viorica Sofronie-Stokkermans
An Algebraic Approach to Entropy and its Generalizations - A Survey Dan A. Simovici

Part II Proof Theory and Automated Deduction in Multiple-valued Logics

Classical Gentzen-type Methods in Propositional Many-valued Logics Arnon Avron
Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-valued Logics .
Matthias Baaz, Agata Ciabattoni, Christian G. Fermuller
Polarity-based Stochastic Local Search Algorithms for Non-clausal Satisfiability
Zbigniew Stachniak
Model Checking for Multi-valued Computation Tree Logics Beata Konikowska, Wojciech Penczek
Complexity of Many-valued Logics Reiner Hahnle

Part III Fuzzy Logics and Their Applications

Ternary Kleenean Non-additive Measures Tomoyuki Araki, Masao Mukaidono, Fujio Yamamoto
On the Hierarchy of t-norm Based Residuated Fuzzy Logics Francesc Esteva, Lluis Godo, Angel Garcia-Cerdana
A Development of Set Theory in Fuzzy Logic Petr Hdjek, Zuzana Hanikova
A Fuzzy Generalisation of Information Relations Anna Maria Radzikowska, Etienne E. Kerre

Part IV Multiple-valued Logics for Control Theory and Rational Belief

Weierstrass Approximation Theorem and Lukasiewicz Formulas with one Quantified Variable
Stefano Aguzzoli, Daniels Mundici
A Lukasiewicz-style Many-valued Similarity Reasoning. Review Esko Turunen
Two Values, Three Values, Many Values, No Values Charles G. Morgan

L'auteur - Melvin Fitting

Lehman College, Bronx, NY, USA

Caractéristiques techniques

	PAPIER
Éditeur(s)	Springer
Auteur(s)	Melvin Fitting, Ewa S. Orlowska
Parution	17/01/2003
Nb. de pages	384
Format	16 x 24
Couverture	Relié
Poids	700g
Intérieur	Noir et Blanc
EAN13	9783790815412