DMCA

Paraconsistent reasoning via quantified Boolean formulas, I: Axiomatising signed systems (2002)

Cached

Download Links

by Torsten Schaub , Hans Tompits , Stefan Woltran
Venue:In Proc. JELIA’02, volume 2424 of LNCS
Citations:4 - 2 self