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

The first volume in this new series explores, through extensive co-operation, new ways of achieving the integration of science in all its diversity. The book of

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,

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

This volume investigates what is beyond the Principle of Non-Contradiction. It features 14 papers on the foundations of reasoning, including logical systems and