Product Description

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.

Product Details

• Amazon Sales Rank: #1535987 in Books
• Published on: 1993-12-16
• Original language: English
• Number of items: 1
• Binding: Hardcover
• 144 pages

Review
"Informative....Gives a very good overview for someone wishing to orient themselves in the field, and provides a substantial list of references for anyone wishing to follow up particular topics. It is the best introductory monograph in the field, and can be confidently recommended to students....An excellent read." --Notre Dame Journal of Formal Logic
"All the text is very didactic and pleasant to read. . .every chapter presents a specific historical account and a discussion about the main objectives of the many-valued systems studied." --Mathematical Reviews