Standefer, Shawn Translations between linear and tree natural deduction systems for relevant logics. (English) Zbl 07819583 Rev. Symb. Log. 14, No. 2, 285-306 (2021). MSC: 03F52 03B47 PDFBibTeX XMLCite \textit{S. Standefer}, Rev. Symb. Log. 14, No. 2, 285--306 (2021; Zbl 07819583) Full Text: DOI
Standefer, Shawn Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs. (English) Zbl 07142213 Stud. Log. 107, No. 6, 1103-1134 (2019). MSC: 03F07 03B45 PDFBibTeX XMLCite \textit{S. Standefer}, Stud. Log. 107, No. 6, 1103--1134 (2019; Zbl 07142213) Full Text: DOI
Brady, Ross T. Comparing contents with information. (English) Zbl 1439.03049 Bimbó, Katalin (ed.), J. Michael Dunn on information based logics. Cham: Springer. Outst. Contrib. Log. 8, 147-159 (2016). MSC: 03B47 PDFBibTeX XMLCite \textit{R. T. Brady}, Outst. Contrib. Log. 8, 147--159 (2016; Zbl 1439.03049) Full Text: DOI
Brady, Ross T. Logic – the big picture. (English) Zbl 1423.03023 Beziau, Jean-Yves (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. New Delhi: Springer. Springer Proc. Math. Stat. 152, 353-373 (2015). MSC: 03A05 03B60 PDFBibTeX XMLCite \textit{R. T. Brady}, Springer Proc. Math. Stat. 152, 353--373 (2015; Zbl 1423.03023) Full Text: DOI
Brady, Ross; Rush, Penelope Four basic logical issues. (English) Zbl 1186.03007 Rev. Symb. Log. 2, No. 3, 488-508 (2009). Reviewer: Louis F. Goble (Salem) MSC: 03A05 03B47 PDFBibTeX XMLCite \textit{R. Brady} and \textit{P. Rush}, Rev. Symb. Log. 2, No. 3, 488--508 (2009; Zbl 1186.03007) Full Text: DOI