Beyond Two: Theory and Applications of Multiple-Valued Logic
Physica (Verlag)
978-3-7908-1541-2 (ISBN)
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.
Erscheint lt. Verlag | 9.1.2003 |
---|---|
Reihe/Serie | Studies in Fuzziness and Soft Computing |
Zusatzinfo | X, 374 p. |
Verlagsort | Heidelberg |
Sprache | englisch |
Maße | 156 x 234 mm |
Gewicht | 698 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Schlagworte | Algebra • algebraic logic • algorithms • Approximation • automated deduction • Automated Theorem Proving • Complexity • Control • fuzzy • Fuzzy Logic • Fuzzy-Logik • Fuzzy-Logik / Unscharfe Logik • Logic • Lukasiewicz logic • Many-valued Logic • Mathematische Logik • Multiple-valued logic • Proof • Proof theory • proving • Search Algorithm • Semantics |
ISBN-10 | 3-7908-1541-1 / 3790815411 |
ISBN-13 | 978-3-7908-1541-2 / 9783790815412 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich