Representing Paraconsistent Reasoning via Quantified Propositional Logic

Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran. Representing Paraconsistent Reasoning via Quantified Propositional Logic. In Leopoldo E. Bertossi, Anthony Hunter, Torsten Schaub, editors, Inconsistency Tolerance [result from a Dagstuhl seminar]. Volume 3300 of Lecture Notes in Computer Science, pages 84-118, Springer, 2005. [doi]

Abstract

Abstract is missing.