DMCA

Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems (2002)

Cached

Download Links

by Philippe Besnard , Torsten Schaub , Hans Tompits , Stefan Woltran
Venue:In Proc. JELIA’02, volume 2424 of LNCS
Citations:3 - 1 self