Beyond Two: Theory and Applications of Multiple-Valued Logic

Chapter 1 Algebras for Hazard Detection

Chapter 2 An Abstract Algebraic Logic View of Some Mutiple-valued Logics

Chapter 3 Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving

Chapter 4 An Algebraic Approach to Entropy and its Generalizations — A Survey

Chapter 5 Classical Gentzen-type Methods in Propositional Many-valued Logics

Chapter 6 Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-valued Logics

Chapter 7 Polarity-based Stochastic Local Search Algorithms for Non-clausal Satisfiability

Chapter 8 Model Checking for Multi-valued Computation Tree Logics

Chapter 10 Ternary Kleenean Non-additive Measures

Chapter 11 On the Hierarchy of t-norm Based Residuated Fuzzy Logics

Chapter 12 A Development of Set Theory in Fuzzy Logic

Chapter 13 A Fuzzy Generalisation of Information Relations

Chapter 14 Weierstrass Approximation Theorem and Łukasiewicz Formulas with one Quantified Variable

Chapter 15 A Łukasiewicz—style Many-valued Similarity Reasoning. Review

Chapter 16 Two Values, Three Values, Many Values, No Values