Synopses & Reviews
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.
Review
"The essential purchase for dental undergraduates and their clinical colleagues...A shining example of the ABC principle so painfully acquired during professional training and presentations: be Accurate, Brief and Clear."--Dental Practice
"This is a well designed book that conveys a large amount of information in a compact format....As a concise reference volume, I think this book sets a very high standard."--British Dental Journal
Reviewed in Doody's Journal
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
Table of Contents
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