1. Anderson, A. R. and Belnap, N. D. Jr., Entailment, Vol. I, Princeton University Press, 1975.
2. Charlwood, Gerald W., Representations of Semilattice Relevance Logic, University of Toronto Ph.D. dissertation, 1978.
3. Curry, H. B., Foundations of Mathematical Logic, McGraw-Hill, 1963.
4. Dunn, J. Michael, ‘Consecution formulation of positive R with cotenability and t‘, Section 28.5 of [1].
5. DunnJ. Michael, (Abstract) ‘A “Gentzen System” for positive relevant implication’, Journal of Symbolic Logic
38 (1973), 356–357.