Beyond Two: Theory and Applications of Multiple-Valued LogicMelvin Fitting, Ewa Orlowska Springer Science & Business Media, 9 de gen. 2003 - 374 pàgines This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics are treated, as well as applications of many-valued logics to reasoning with fuzzy information. Areas covered include: Algebras of multiple valued logics and their applications, proof theory and automated deduction in multiple valued logics, fuzzy logics and their applications, and multiple valued logics for control theory and rational belief. |
Continguts
Algebras for Hazard Detection | 3 |
An Abstract Algebraic Logic View of Some Mutiplevalued Logics | 25 |
Representation Theorems and the Semantics of Nonclassical Logics and Applications to Automated Theorem Proving | 59 |
An Algebraic Approach to Entropy and its Generalizations A Survey | 101 |
Proof Theory and Automated Deduction in Multiplevalued Logics | 115 |
Classical Gentzentype Methods in Propositional Manyvalued Logics | 117 |
Sequent of Relations Calculi A Framework for Analytic Deduction in Manyvalued Logics | 157 |
Polaritybased Stochastic Local Search Algorithms for Nonclausal Satisfiability | 181 |
Fuzzy Logics and Their Applications | 235 |
Chapter 10 Ternary Kleenean Nonadditive Measures | 237 |
On the Hierarchy of tnorm Based Residuated Fuzzy Logics | 251 |
A Development of Set Theory in Fuzzy Logic | 273 |
A Fuzzy Generalisation of Information Relations | 287 |
Multiplevalued Logics for Control Theory and Rational Belief | 313 |
Weierstrass Approximation Theorem and Lukasiewicz Formulas with one Quantified Variable | 315 |
A Lukasiewiczstyle Manyvalued Similarity Reasoning Review | 337 |
Model Checking for Multivalued Computation Tree Logics | 193 |
Chapter 9 Complexity of Manyvalued Logics | 211 |
Two Values Three Values Many Values No Values | 349 |
Altres edicions - Mostra-ho tot
Beyond Two: Theory and Applications of Multiple-Valued Logic Melvin Fitting,Ewa Orlowska Previsualització limitada - 2013 |
Beyond Two: Theory and Applications of Multiple-Valued Logic Melvin Fitting,Ewa Orlowska Previsualització no disponible - 2010 |
Beyond Two: Theory and Applications of Multiple-Valued Logic Melvin Fitting,Ewa Orlowska Previsualització no disponible - 2012 |
Frases i termes més freqüents
3-valued Abstract Algebraic Logic algebraizable algorithms axiomatic axioms binary Boolean algebras calculus canonical classical logic condition conjunction connectives consequence relation continuous t-norms corresponding crisp Definition denote distributive lattices element entropy equivalent example filter first-order fuzzy information fuzzy logic fuzzy measure fuzzy relations fuzzy sets fuzzy similarity Gentzen-type system Gödel logics hazard Hence IEEE implication induction infinite-valued Kripke-style models language left-continuous t-norm Lemma linear logic defined Łukasiewicz logic many-valued logic Mathematical matrix modal logics model checking Monoidal Multiple-Valued Logic MV-algebras negation notion obtained partial order pre-linearity problem Proc properties propositional logic propositional variables protoalgebraic prove quantifiers rational representation theorem residuated lattices resp respect satisfying Section semantics semilattice sequent simulation sound and complete structural rules Studia Logica subalgebra subformula subset substructural logics Sugeno integral t-norm ternary three-valued truth values valid variety