Beyond Two: Theory and Applications of Multiple-Valued Logic
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...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Heidelberg :
Physica-Verlag HD : Imprint: Physica,
2003.
|
| Έκδοση: | 1st ed. 2003. |
| Σειρά: | Studies in Fuzziness and Soft Computing,
114 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
