Grzegorz Malinowski

Many-Valued Logics

• Gebundenes Buch

Produktbeschreibung

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.

---

This book provides an incisive, basic introduction to many-valued logics and to the constructions that are "many-valued" at their origin. Using the matrix method, the author sheds light on the profound problems of many-valuedness criteria and its classical characterizations. The book also includes information concerning the main systems of many-valued logic, related axiomatic constructions, and conceptions inspired by many-valuedness. With its selective bibliography and many useful historical references, this book provides logicians, computer scientists, philosophers, and mathematicians with a valuable survey of the subject.

Produktdetails

• Verlag: Oxford University Press, USA
• Seitenzahl: 138
• Erscheinungstermin: 27. Januar 1994
• Englisch
• Abmessung: 241mm x 164mm x 13mm
• Gewicht: 390g
• ISBN-13: 9780198537878
• ISBN-10: 0198537875
• Artikelnr.: 22408057

Inhaltsangabe

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