Ofer ArieliBooksTheory of Effective Propositional Paraconsistent LogicsArnon Avron on Semantics and Proof Theory of Non-Classical LogicsAuthor data: Open Library