This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent prem

Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity,

Paraconsistent logics are logics which allow solid deductive reasoning under contradictions by offering a mathematical and philosophical support to contradictor