海量图书期刊资源,随时随地畅享阅读乐趣
The gentzenization and decidability of RWRoss T. Brady · 1990
Hierarchical semantics for relevant logicsRoss T. Brady · 1992
Depth relevance of some paraconsistent logicsRoss T. Brady · Studia Logica · 1984
Where gamma failsRobert K. Meyer; Steve Giambrone; Ross T. Brady · Studia Logica · 1984
Relevant Restricted QuantificationJC Beall; Ross T. Brady; A. P. Hazen; Graham Priest; Greg Restall · 2006
Gentzenizations of relevant logics with distributionBrady, Ross T. · The Journal of Symbolic Logic · 1996
The Gentzenization and Decidability of RWRoss T. Brady · Journal of Philosophical Logic · 1990
Relevant Restricted QuantificationJ. C. Beall, Ross T. Brady, A. P. Hazen, Graham Priest and Greg Restall · Journal of Philosophical Logic · 2006
Compressibility and Kolmogorov ComplexityBinns, Stephen; Nicholson, Marie · Notre Dame Journal of Formal Logic · 2013
Weak Theories of Concatenation and ArithmeticHorihata, Yoshihiro · Notre Dame Journal of Formal Logic · 2012
On Existence in Set TheoryFreire, Rodrigo A. · Notre Dame Journal of Formal Logic · 2012
On Generalizing KolmogorovDietz, Richard · Notre Dame Journal of Formal Logic · 2010
Metalogic of Intuitionistic Propositional CalculusCitkin, Alex · Notre Dame Journal of Formal Logic · 2010
On a family of paradoxes.Prior, A. N. · Notre Dame Journal of Formal Logic · 1961
Degrees of Relative ProvabilityCai, Mingzhong · Notre Dame Journal of Formal Logic · 2012
The Computational Content of Arithmetical ProofsHetzl, Stefan · Notre Dame Journal of Formal Logic · 2012