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,

Logical paradoxes – like the Liar, Russell's, and the Sorites – are notorious. But in Paradoxes and Inconsistent Mathematics, it is argued that they are onl

without a properly developed inconsistent calculus based on infinitesimals, then in consistent claims from the history of the calculus might well simply be symp

This title represents an integrated discussion of all major topics in the area of paraconsistent logic, highlighting philosophical and historical aspects, major