First-Order Quasi-canonical Proof Systems TABLEAUX 2019 Yotam Dvir, Arnon Avron September 03, 2019 Abstract Paper Publication logic paraconsistency knowledge management