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

Softcover

ISBN 10: 366200299X ISBN 13: 9783662002995

Verlag: Springer, 2014

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2014
• Sprache: Englisch
• ISBN 10: 366200299X
• ISBN 13: 9783662002995
• Einband: Taschenbuch
• Anzahl der Seiten: 388
• Herausgeber: Fitting Melvin, Orlowska Ewa
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Deutschland