|
|
|
|
| LEADER |
03143nmm a2200397 u 4500 |
| 001 |
EB000709724 |
| 003 |
EBX01000000000000000562806 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
140122 ||| eng |
| 020 |
|
|
|a 9783790817690
|
| 100 |
1 |
|
|a Fitting, Melvin
|e [editor]
|
| 245 |
0 |
0 |
|a Beyond Two: Theory and Applications of Multiple-Valued Logic
|h Elektronische Ressource
|c edited by Melvin Fitting, Ewa Orlowska
|
| 250 |
|
|
|a 1st ed. 2003
|
| 260 |
|
|
|a Heidelberg
|b Physica
|c 2003, 2003
|
| 300 |
|
|
|a X, 374 p
|b online resource
|
| 505 |
0 |
|
|a 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
|
| 653 |
|
|
|a Computer Science Logic and Foundations of Programming
|
| 653 |
|
|
|a Computer science
|
| 653 |
|
|
|a Mathematics of Computing
|
| 653 |
|
|
|a Computer science / Mathematics
|
| 653 |
|
|
|a Artificial Intelligence
|
| 653 |
|
|
|a Formal Languages and Automata Theory
|
| 653 |
|
|
|a Machine theory
|
| 653 |
|
|
|a Algebra
|
| 653 |
|
|
|a Logic design
|
| 653 |
|
|
|a Artificial intelligence
|
| 653 |
|
|
|a Logic Design
|
| 700 |
1 |
|
|a Orlowska, Ewa
|e [editor]
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
| 490 |
0 |
|
|a Studies in Fuzziness and Soft Computing
|
| 028 |
5 |
0 |
|a 10.1007/978-3-7908-1769-0
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-7908-1769-0?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 005.131
|
| 520 |
|
|
|a 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
|