1. Avron, A. (2014). The classical constraint on relevance. Logica Universalis 8, 1–15.
2. Avron, A. and B. Konikowska (2005). Multi-valued calculi for logics based on non-determinism. IGPL 13, 365–387.
3. Dummett, M. (1993). The Logical Basis of Metaphysics. Cambridge, MA: Harvard University Press.
4. Francez, N. (2015). Proof-theoretic Semantics. London: College Publications.
5. Francez, N. and M. Kaminski (2019). On poly-logistic natural-deduction for finitelyvalued propositional logics. Journal of Applied Logic 6 (2). Special issue for papers presented at ISRALOG17, Haifa, October 2017, 255–288.