Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.

Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran

Browse the full JELIA paper archive.