Beyond Two: Theory and Applications of Multiple-Valued Logic - Softcover

Softcover

ISBN 10: 366200299X ISBN 13: 9783662002995

Publisher: Physica, 2012

Synopsis

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.

Edition details

• Publisher: Physica
• Publication date: 2012
• Language: English
• ISBN 10: 366200299X
• ISBN 13: 9783662002995
• Binding: Paperback
• Number of pages: 388
• Editor: Fitting Melvin, Orlowska Ewa