Many-Valued Logics [Hardcover]

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.

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

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