Paraconsistent logic makes it possible to study inconsistent theories in a coherent way. From its modern start in the mid-20th century, paraconsistency was inte

This book presents a study on the foundations of a large class of paraconsistent logics from the point of view of the logics of formal inconsistency. It also pr

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

This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how con

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,