Brady, Ross T. Normalized natural deduction systems for some relevant logics. I: The logic DW. (English) Zbl 1103.03022 J. Symb. Log. 71, No. 1, 35-66 (2006). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B47 03B25 03F05 PDFBibTeX XMLCite \textit{R. T. Brady}, J. Symb. Log. 71, No. 1, 35--66 (2006; Zbl 1103.03022) Full Text: DOI
Brady, Ross T. Gentzenization of relevant logics with distribution. (English) Zbl 0862.03014 J. Symb. Log. 61, No. 2, 402-420 (1996). Reviewer: M.Urchs (Berlin) MSC: 03B47 PDFBibTeX XMLCite \textit{R. T. Brady}, J. Symb. Log. 61, No. 2, 402--420 (1996; Zbl 0862.03014) Full Text: DOI
Brady, Ross T. Gentzenizations of relevant logics without distribution. II. (English) Zbl 0862.03013 J. Symb. Log. 61, No. 2, 379-401 (1996). Reviewer: M.Urchs (Berlin) MSC: 03B47 PDFBibTeX XMLCite \textit{R. T. Brady}, J. Symb. Log. 61, No. 2, 379--401 (1996; Zbl 0862.03013) Full Text: DOI
Brady, Ross T. Gentzenizations of relevant logics without distribution. I. (English) Zbl 0862.03012 J. Symb. Log. 61, No. 2, 353-378 (1996). Reviewer: M.Urchs (Berlin) MSC: 03B47 PDFBibTeX XMLCite \textit{R. T. Brady}, J. Symb. Log. 61, No. 2, 353--378 (1996; Zbl 0862.03012) Full Text: DOI
Brady, Ross T. Simple Gentzenizations for the normal formulae of contraction-less logics. (English) Zbl 0897.03019 J. Symb. Log. 61, No. 4, 1321-1346 (1996). Reviewer: M.Urchs (Berlin) MSC: 03B47 PDFBibTeX XMLCite \textit{R. T. Brady}, J. Symb. Log. 61, No. 4, 1321--1346 (1996; Zbl 0897.03019) Full Text: DOI