1. R. T. Brady,Natural deduction systems for some quantified relevant logics,Logique et Analyse, 27 Année, 1984, pp. 355–377.
2. R. T. Brady,Universal Logic, in preparation.
3. D. Gabray,On 2nd order intuitionistic propositional calculus with full comprehension,Archiv für Mathematische Logik, Vol. 16 (1974), pp. 177–186.
4. P. S. Lavers,Generating Intensional Logics, M. A. Thesis, University of Adelaide, 1985.
5. R. Routley, R. K. Meyer, V. Plumwood, R. T. Brady Relevant Logics and their Rivals, Vol. 1, Ridgeview, Calif., 1982.