Ofer Arieli

• Theory of Effective Propositional Paraconsistent Logics
• Arnon Avron on Semantics and Proof Theory of Non-Classical Logics