arXiv 2002-07-25 EN Paraconsistent Reasoning via Quantified Boolean Formulas,I: Axiomatising Signed Systems Besnard, Philippe · Schaub, Torsten · Tompits, Hans · Woltran, Stefan