Many-Valued Logics
Seiten
1993
Clarendon Press (Verlag)
978-0-19-853787-8 (ISBN)
Clarendon Press (Verlag)
978-0-19-853787-8 (ISBN)
'Many-valued Logics' attempts an elementary exposition of the topics connected with logical many-valueness. It provides readers with a stimulating discussion which focuses on the constructions being "many-valued" at their origin, i.e. those obtained through intended introduction of logical values next to truth and falsity.
The book attempts an elementary exposition of the topics connected with many-valued logics. It gives an account of the constructions being "many-valued" at their origin, i.e. those obtained through intended introduction of logical values next to truth and falsity. To this aim, the matrix method has been chosen as a prevailing manner of presenting the subject.
The inquiry throws light upon the profound problem of the criteria of many-valuedness and its classical characterizations. Besides, the reader can find information concerning the main systems of many-valued logic, related axiomatic constructions, and conceptions inspired by many valuedness.
The examples of various applications to philosophical logic and some practical domains, as switching theory or Computer Science, helps to see many-valuedness in a wider perspective. Together with a selective bibliography and historical references it makes the work especially useful as a survey and guide in this field of logic.
The book attempts an elementary exposition of the topics connected with many-valued logics. It gives an account of the constructions being "many-valued" at their origin, i.e. those obtained through intended introduction of logical values next to truth and falsity. To this aim, the matrix method has been chosen as a prevailing manner of presenting the subject.
The inquiry throws light upon the profound problem of the criteria of many-valuedness and its classical characterizations. Besides, the reader can find information concerning the main systems of many-valued logic, related axiomatic constructions, and conceptions inspired by many valuedness.
The examples of various applications to philosophical logic and some practical domains, as switching theory or Computer Science, helps to see many-valuedness in a wider perspective. Together with a selective bibliography and historical references it makes the work especially useful as a survey and guide in this field of logic.
Introduction ; 1. The classical logic ; 2. The third logical value of Lukasiewicz ; 3. Logic algebras and matrices ; 4. Many-valuedness ; 5. Lukasiewicz logics ; 6. Post logics ; 7. Three-valuedness of Kleene and Bochvar ; 8. Standard properties of many-valued constructions ; 9. Probability and many-valuedness ; 10. Classical characterization of many-valued logics ; 11. Quantifiers in many-valued logic ; 12. Intuitionism and the modal logics of Lewis ; 13. Fuzzy sets and Zadeh logic ; 14. Applications and significance of the topic ; Bibliography ; Author index ; Subject index
| Erscheint lt. Verlag | 16.12.1993 |
|---|---|
| Reihe/Serie | Oxford Logic Guides ; 25 |
| Verlagsort | Oxford |
| Sprache | englisch |
| Maße | 158 x 242 mm |
| Gewicht | 347 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| ISBN-10 | 0-19-853787-5 / 0198537875 |
| ISBN-13 | 978-0-19-853787-8 / 9780198537878 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2024)
World Scientific Publishing Co Pte Ltd (Verlag)
CHF 43,60
what we have that machines don't
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
CHF 19,15
how simple questions lead us to mathematics’ deepest truths
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
CHF 19,15
