Sciweavers

JAR
1998
57views more  JAR 1998»
13 years 11 months ago
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...
Philippe Besnard, Torsten Schaub