1. Anderson, A.R., Belnap, N.D., & Dunn, J.M. (1992). Entailment the logic of relevance and necessity Vol. II. Princeton: Princeton University Press.
2. Beal, J., & Logan, S.A. (2017). Logic: The basics, 2nd edn. London: Routledge.
3. Bimbó, K., & Dunn, J.M. (2008). Generalized galois logics: relational semantics for nonclassical logical calculi, CSLI, Stanford.
4. Bimbó, K. (2011). Combinatory logic: Pure, applied and typed. Boca Raton: CRC.
5. Brady, R.T. (1984). Natural deduction systems for some quantified relevant logics. Logique et Analyse, 27, 355–377.