Ross Thomas Brady (brady-rt)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Brady, Ross Thomas. 1976. “A Computer Program for Determining Matrix Models of Propositional Calculi.” Logique et Analyse 19(74–76): 233–253.
Brady, Ross Thomas. 1977. “Unspecified Constants in Predicate Logic and First-Order Theories.” Logique et Analyse 20(79): 229–243.
Brady, Ross Thomas. 1982. “Completeness Proofs for the Systems RM3 and BN4.” Logique et Analyse 25(97): 9–32.
Brady, Ross Thomas. 1984. “Natural Deduction Systems for Some Quantified Relevant Logics.” Logique et Analyse 27(108): 355–377.
Brady, Ross Thomas. 1990. “The Gentzenization and Decidability of RW.” The Journal of Philosophical Logic 19(1): 35–73.
Brady, Ross Thomas. 1991. “Gentzenization and Decidability of Some Contraction-Less Relevant Logics.” The Journal of Philosophical Logic 20(1): 97–117.
Brady, Ross Thomas. 1992a. “Hierarchical Semantics for Relevant Logics.” The Journal of Philosophical Logic 21(4): 357–374.
Brady, Ross Thomas. 1992b. “Simplified Gentzenizations for Contraction-Less Logics.” Logique et Analyse 35(137–138): 45–67.
Brady, Ross Thomas. 1994. “Rules in Relevant Logic – I: Semantic Classification.” The Journal of Philosophical Logic 23(2): 111–137.
Brady, Ross Thomas. 1996a. “Relevant Implication and the Case for a Weaker Logic.” The Journal of Philosophical Logic 25(2): 151–183.
Brady, Ross Thomas. 1996b. “Gentzenization of Relevant Logics with Distribution.” The Journal of Symbolic Logic 61(2): 402–420.
Brady, Ross Thomas. 1996c. “Gentzenization of Relevant Logics Without Distribution, I.” The Journal of Symbolic Logic 61(2): 353–378.
Brady, Ross Thomas. 1996d. “Gentzenization of Relevant Logics Without Distribution, II.” The Journal of Symbolic Logic 61(2): 379–401.
Brady, Ross Thomas. 2002. Relevant Logics and Their Rivals, Volume II. Farnham, Surrey: Ashgate.
Brady, Ross Thomas. 2004. “On the Formalization of the Law of Non-Contradiction.” in The Law of Non-Contradiction: New Philosophical Essays, edited by Graham Priest, J. C. Beall, and Bradley Armour-Garb, pp. 41–48. Oxford: Oxford University Press, doi:10.1093/acprof:oso/9780199265176.001.0001.
Brady, Ross Thomas. 2008. “Negation in Metacomplete Relevant Logics.” Logique et Analyse 51(204): 331–354.
Brady, Ross Thomas. 2012. “The Consistency of Arithmetic, Based on a Logic of Meaning Containment.” Logique et Analyse 55(219): 353–383.
Brady, Ross Thomas. 2016. “Comparing Contents with Information.” in J. Michael Dunn on Information Based Logics, edited by Katalin Bimbó, pp. 147–160. Outstanding Contributions to Logic n. 8. Cham: Springer, doi:10.1007/978-3-319-29300-4.
Brady, Ross Thomas. 2019. “The Number of Logical Values.” in Graham Priest on Dialetheism and Paraconsistency, edited by Can Başkent and Thomas Macaulay Ferguson, pp. 21–38. Cham: Springer Nature, doi:10.1007/978-3-030-25365-3.
Brady, Ross Thomas and Mortensen, Chris David. 2014. “Logic.” in History of Philosophy in Australia and New Zealand, volume II, pp. 679–706. Dordrecht: Springer.
Brady, Ross Thomas and Rush, Penelope. 2008. “What is Wrong with Cantor’s Diagonal Argument?” Logique et Analyse 51(202): 185–219.
Brady, Ross Thomas and Rush, Penelope. 2009. “Four Basic Logical Issues.” The Review of Symbolic Logic 2(3): 488–508.