ISBN: 3790815411
TITEL: Beyond Two: Theory and Applications of Multiple Valued
Logic
AUTHOR: Fitting, Orlowska
TOC:

Part I
Algebras of Multiple-valued Logics and Their Applications 1
Chapter 1
Algebras for Hazard Detection 3
Janusz Brzozowski, Zoltn sik, Yaacov Iland
Chapter 2
An Abstract Algebraic Logic View of Some Mutiple-valued Logics 25
Josep Maria Font
Chapter 3
Representation Theorems and the Semantics of Non-classical Logic, and Applications to Automated Theorem Proving 59
Viorica Sofronie-Stokkermans
Chapter 4
An Algebraic Approach to Entropy and its Generalizations - A Survey 101
Dan A. Simovici
Part II
Proof Theory and Automated Deduction in Multiple-valued Logics 115
Chapter 5
Classical Gentzen-type Methods in Propositional Many-valued Logics 117
Arnon Avron
Chapter 6
Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-valued
Logics 157
Matthias Baaz, Agata Ciabattoni, Christian G. Fermller
Chapter 7
Polarity-based Stochastic Local Search Algorithms for Non-clausal
Satisfiability 181
Chapter 8
Model Checking for Multi-valued Computation Tree Logics 193
Beata Konikowska, Wojciech Penczek
Chapter 9
Complexity of Many-valued Logics 211
Reiner Hhnle
Part III
Fuzzy Logics and Their Applications 235
Chapter 10
Ternary Kleenean Non-additive Measures 237
Tomoyuki Araki, Masao Mukaidono, Fujio Yamamoto
Chapter 11
On the Hierarchy of t-norm Based Residuated Fuzzy Logics 235
Francesc Esteva, Lluis Godo, Angel Garca-Cerdana
Chapter 12
A Development of Set Theory in Fuzzy Logic 273
Petr Hajek, Zuzana Hanikova
Chapter 13
A Fuzzy Generalisation of Information Relations 287
Anna Maria Radzikowska, Etienne E. Kerre
Part IV
Multiple-valued Logics for Control Theory and Rational Belief 313
Chapter 14
Weierstrass Approximation Theorem and Lukasiewicz Formulas with one
Quantified Variable 315
Stefano Aguzzoli, Daniele Mundici
Chapter 15
A Lukasiewicz-style Many-valued Similarity Reasoning. Review 337
Esko Turunen
Chapter 16
Two Values, Three Values, Many Values, No Values 349
Charles G. Morgan
END

