Signed Systems for Paraconsistent Reasoning

In [6] Besnard and Schaub elaborated a novel approach to paraconsistent reasoning which lead to a family of paraconsistent consequence relations. In a sense these try to safeguard classical reasoning within the range of paraconsistent theories. For that they rely on a transformation of the original inconsistent theory into a consistent one by renaming all literals present in the theory. The restoration of some of the original contents of the theory is obtained through

• Type: Journal
• Year: 1998
• Where: JAR
• Authors: Philippe Besnard, Torsten Schaub
• Keywords: JAR 1998, Paraconsistent, Paraconsistent Consequence Relations, Paraconsistent Reasoning