Signed Systems for Paraconsistent Reasoning

Philippe Besnard, Torsten Schaub. Signed Systems for Paraconsistent Reasoning. Journal of Automated Reasoning, 20(1):191-213, 1998.

Abstract

Abstract is missing.