First-Order Quasi-canonical Proof Systems Venue: TABLEAUX 2019 Yotam Dvir, Arnon Avron 03 Sep 2019 abstract proceedings Publication Conference logic paraconsistency knowledge management