Frontiers of Paraconsistent Logic

Paraconsistent logic is one of the most important and challenging developments in modern logic. Many of the papers in the book are by those who have already made significant advances in the subject. It is unlikely that so many of the founders of this subject will be gathered together again. The work is at the cutting edge of this rapidly advancing subject. Paraconsistent logic, logic in which inconsistent information does not deliver arbitrary conclusions, is one of the fastest growing areas of logic, with roots in profound philosophical issues, and applications in information processing and philosophy of science. This book contains selected, edited papers presented at the First World Congress on Paraconsistency, held in Ghent in 1997; a milestone event in the subject. The book will be invaluable to all who want to learn what the subject is, and where it is currently going.