1. Allwein, G., & Dunn, J. M. (1993). Kripke models for linear logic. Journal of Symbolic Logic, 58(2), 514–545.
2. Allwein, G., & Hartonas, C. (1993). Duality for bounded lattices. IU Logic Group Preprint Series IULG-93-25. Bloomington, IN: Indiana University.
3. Anderson, A. R., Belnap, N. D., & Dunn, J. M. (1992). Entailment: The logic of relevance and necessity (Vol. II). Princeton, NJ: Princeton University Press.
4. Awodey, S. (2010). Category theory. Oxford logic guides (Vol. 52, 2nd Ed.). Oxford, UK: Oxford University Press.
5. Bimbó, K. (1999). Substructural logics, combinatory logic and$$\lambda $$-calculus. PhD thesis, Indiana University, Bloomington, Ann Arbor (UMI).