An Introduction to Non-Classical Logic

This book is an introduction to nonclassical propositional logics. It brings together for the first time in a textbook a range of topics in logic, many of them of relatively recent origin, including modal, conditional, intuitionist, many-valued, paraconsistent, relevant and fuzzy logics. Students with a basic understanding of classical logic will find this an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will be of interest to readers studying logic and, more widely, to readers working in mathematics and computer science.