1. Anderson, A. R., & Belnap, N. D. (1975). Entailment: The logic of relevance and necessity (Vol. I). Princeton: Princeton University Press.
2. Avron, A. (2014). Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics. Journal of Applied Non-Classical Logics, 24(1–2), 12–34.
3. Avron, A., Arieli, O. & Zamansky, A. (2018). Theory of Effective Propositional Paraconsitent Logics, volume 75 of Studies in logic mathematical logic and foundations. College Publications
4. Avron, A., & Konikowska, B. (2005). Multi-valued calculi for logics based on non-determinism. Journal of the Interest Group in Pure and Applied Logic, 10, 365–387.
5. Avron, A., Konikowska, B., & Zamansky, A. (2013). Cut-free sequent calculi for C-systems with generalized finite-valued semantics. Journal of Logic and Computation, 23(3), 517–540.