Anderson A. R. and Belnap N. D. Jr., Entailment, The Logic of Relevance and Necessity, vol. 1, Princeton University Press, Princeton, NJ, 1975.

Brady R. T.,
*Completeness proofs for the systems RM3 and BN4*
. Logique et Analyse, vol. 25 (1982), pp. 9–32.

Brady R. T.,
*The simple consistency of a set theory based on the logic CSQ*
. Notre Dame Journal of Formal Logic, vol. 12 (1983), pp. 447–453.

Brady R. T.,
*Relevant implication and the case for a weaker logic*
. Journal of Philosophical Logic, vol. 25 (1996), pp. 151–183.

Brady R. T., Universal Logic, CSLI Publs, Stanford, 2006.

Brady R. T.,
*A rejection system for the first-degree formulae of some relevant logics*
. Australasian Journal of Logic, vol. 6 (2008), pp. 55–69.

Brady R. T.,
*Negation in metacomplete relevant logics*
. Logique et Analyse, vol. 51 (2008a), pp. 331–354.

Brady R. T.,
*Extending metacompleteness to systems with classical formulae*
. Australasian Journal of Logic, vol. 8 (2010), pp. 9–30.

Brady R. T.,
*Metavaluations, naive set theory and inconsistency*
, Logic without Frontiers, Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday (Beziau J.-Y. and Coniglio M. E., editors), College Publications, London, 2011, pp. 339–360.

Brady R. T.,
*The consistency of arithmetic, based on a logic of meaning containment*
. Logique et Analyse, vol. 55 (2012), pp. 353–383.

Brady R. T.,
*The simple consistency of naive set theory using metavaluations*
. Journal of Philosophical Logic, vol. 43 (2014), pp. 261–281.

Brady R. T., The Use of Definitions and their Logical Representation in Paradox Derivation. Presented to the World Congress in Universal Logic, University of Istanbul, Istanbul, June, 2015.

Brady R. T. and Meinander A.,
*Distribution in the logic of meaning containment and in quantum mechanics*
, Paraconsistency: Logic and Applications (Tanaka K., Berto F., Mares E., and Paoli F., editors), Springer, Dordrecht, 2013, pp. 223–255.

Dunn J. M.,
*Relevance logic and entailment*
, Handbook of Philosophical Logic, vol. 3, first ed. (Gabbay D. and Guenthner F., editors), Reidel, Dordrecht, 1986, pp. 117–224.

Dunn J. M. and Meyer R. K., Gentzen’s cut and Ackermann’s γ, Directions in Relevant Logic (Norman J. and Sylvan R., editors), Kluwer, Dordrecht, 1989, pp. 229–240.

Dunn J. M. and Restall G.,
*Relevance logic*
, Handbook of Philosophical Logic, vol. 6 (Gabbay D. and Guenthner F., editors), second ed., Kluwer, Dordrecht, 2002, pp. 1–128.

Fine K., *Modal Logic as Metalogic*, manuscript, University of Edinburgh, 1971–3, pp. 1–5.

Harrop R.,
*On disjunctions and existential statements in intuitionistic systems of logic*
. Mathematische Annalen, vol. 132 (1956), pp. 347–361.

Harrop R.,
*Concerning formulas of types A →*
$B\, \vee \,C$
*, A → (Ex)B(x) in intuitionistic formal systems*
. Journal of Symbolic Logic, vol. 25 (1960), pp. 27–32.
Kleene S. C.,
*Disjunction and existence under implication in elementary intuitionistic formalisms*
. Journal of Symbolic Logic, vol. 27 (1962), pp. 11–18.

Kleene S. C.,
*An addendum*
. Journal of Symbolic Logic, vol. 28 (1963), pp. 154–156.

Mares E. D. and Meyer R. K.,
*The admissibility of γ in R4*
. Notre Dame Journal of Formal Logic, vol. 33 (1992), pp. 197–206.

Meyer R. K.,
*Entailment and relevant implication*
. Logique et Analyse, vol. 11 (1968), pp. 472–479.

Meyer R. K., *On coherence in modal logics*. Logique et Analyse, vol. 14 (1971), pp. 658–668.

Meyer R. K.,
*Metacompleteness*
. Notre Dame Journal of Formal Logic, vol. 17 (1976), pp. 501–516.

Meyer R. K.,
*Ackermann, Takeuti and Schmitt for higher-order relevant logic (abstract)*
. Bulletin of the Section of Logic, Polish Academy of Science, vol. 5 (1976a), pp. 138–144.

Meyer R. K., *Coherence Revisited*, manuscript, A.N.U., 1972–1975.

Meyer R. K. and Dunn J. M.,
*E, R and γ*
. Journal of Symbolic Logic, vol. 34 (1969), pp. 460–474.

Meyer R. K. and Restall G.,
*‘Strenge’ arithmetics*
. Logique et Analyse, vol. 42 (1999), pp. 205–220.

Routley R., Meyer R. K., Plumwood V., and Brady R. T., Relevant Logics and Their Rivals, vol. 1, Ridgeview, Atascadero, 1982.

Seki T.,
*The γ-admissibility of relevant modal logics II - the method using metavaluations*
. Studia Logica, vol. 97 (2011), pp. 351–383.

Slaney J. K.,
*A metacompleteness theorem for contraction-free relevant logics*
. Studia Logica, vol. 43 (1984), pp. 159–168.

Slaney J. K.,
*Reduced models for relevant logics without WI*
. Notre Dame Journal of Formal Logic, vol. 28 (1987), pp. 395–407.