Many-Valued Logics

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.