第 1 到 35 筆結果,共 35 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 2023 | Collection Frames for Distributive Substructural Logics | Restall, Greg; SHAWN MICHAEL STANDEFER | Review of Symbolic Logic | |||
2 | 2023 | Hyperintensionality in Relevant Logics | SHAWN MICHAEL STANDEFER | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
3 | 2023 | A Substructural Approach to Explicit Modal Logic | SHAWN MICHAEL STANDEFER | JOURNAL OF LOGIC LANGUAGE AND INFORMATION | 0 | 1 | |
4 | 2023 | Logical Methods | Restall, Greg; STANDEFER, SHAWN MICHAEL | ||||
5 | 2023 | Getting some (non-classical) closure with justification logic | SHAWN MICHAEL STANDEFER ; Shear, Ted; French, Rohan | Asian Journal of Philosophy | |||
6 | 2022 | Revisiting Semilattice Semantics | SHAWN MICHAEL STANDEFER | Outstanding Contributions to Logic | 2 | 0 | |
7 | 2022 | Varieties of Relevant S5 | SHAWN MICHAEL STANDEFER | LOGIC AND LOGICAL PHILOSOPHY | 0 | 0 | |
8 | 2022 | Completeness via metacompleteness | STANDEFER, SHAWN MICHAEL | Relevance Logics and other Tools for Reasoning: Essays in Honor of J. Michael Dunn | |||
9 | 2022 | What is a Relevant Connective? | SHAWN MICHAEL STANDEFER | JOURNAL OF PHILOSOPHICAL LOGIC | 2 | 2 | |
10 | 2022 | Weak relevant justification logics | SHAWN MICHAEL STANDEFER | JOURNAL OF LOGIC AND COMPUTATION | 1 | 1 | |
11 | 2021 | Translations between linear and tree natural deduction systems for relevant logics | SHAWN MICHAEL STANDEFER | Review of Symbolic Logic | 0 | 0 | |
12 | 2021 | Identity in Mares-Goldblatt Models for Quantified Relevant Logic | SHAWN MICHAEL STANDEFER | Journal of Philosophical Logic | 3 | 2 | |
13 | 2021 | An Incompleteness Theorem for Modal Relevant Logics | SHAWN MICHAEL STANDEFER | NOTRE DAME JOURNAL OF FORMAL LOGIC | 4 | 6 | |
14 | 2020 | Actual Issues for Relevant Logics | SHAWN MICHAEL STANDEFER | Ergo, an Open Access Journal of Philosophy | 8 | ||
15 | 2020 | Proofs and Models in Naive Property Theory: A Response to Hartry Field's ‘Properties, Propositions and Conditionals’ | SHAWN MICHAEL STANDEFER ; Rohan French; Greg Restall | Australasian Philosophical Review | 0 | ||
16 | 2019 | Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs | SHAWN MICHAEL STANDEFER | Studia Logica | 2 | 2 | |
17 | 2019 | Tracking reasons with extensions of relevant logics | SHAWN MICHAEL STANDEFER | Logic Journal of the IGPL | 8 | ||
18 | 2018 | Trees for E | SHAWN MICHAEL STANDEFER | Logic Journal of the {IGPL} | 2 | ||
19 | 2018 | Natural deduction systems for E | SHAWN MICHAEL STANDEFER ; Brady, R.T. | Logique et Analyse | 1 | 0 | |
20 | 2018 | Inferentialism, structure, and conservativeness | Hjortland, O.; SHAWN MICHAEL STANDEFER | From Rules to Meanings: New Essays on Inferentialism | 1 | 0 | |
21 | 2018 | Guest Editors’ Introduction | Bruni, R.; SHAWN MICHAEL STANDEFER | Journal of Philosophical Logic | 0 | 0 | |
22 | 2018 | Proof Theory for Functional Modal Logic | SHAWN MICHAEL STANDEFER | Studia Logica | 4 | 4 | |
23 | 2017 | Non-triviality done proof-theoretically | French, R.; SHAWN MICHAEL STANDEFER | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1 | 0 | |
24 | 2017 | Intersubstitutivity principles and the generalization function of truth | Anil Gupta; SHAWN MICHAEL STANDEFER | Synthese | 2 | 2 | |
25 | 2017 | THE RELEVANT LOGIC E AND SOME CLOSE NEIGHBOURS: A REINTERPRETATION | E. Mares; SHAWN MICHAEL STANDEFER | Journal of Applied Logics-Ifcolog Journal of Logics and Their Applications | |||
26 | 2017 | Non-Classical Circular Definitions | SHAWN MICHAEL STANDEFER | The Australasian Journal of Logic | 0 | ||
27 | 2016 | Conditionals in Theories of Truth | Anil Gupta; SHAWN MICHAEL STANDEFER | Journal of Philosophical Logic | 7 | 6 | |
28 | 2016 | Contraction and revision | SHAWN MICHAEL STANDEFER | The Australasian Journal of Logic | 0 | ||
29 | 2015 | On Artifacts and Truth-Preservation | SHAWN MICHAEL STANDEFER | The Australasian Journal of Logic | 0 | ||
30 | 2015 | SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS | SHAWN MICHAEL STANDEFER | Review of Symbolic Logic | 7 | 8 | |
31 | 2015 | Review of Stewart Shapiro's Varieties of Logic | SHAWN MICHAEL STANDEFER | Notre Dame Philosophical Reviews | |||
32 | 2013 | The Tarskian Turn: Deflationism and Axiomatic Truth | SHAWN MICHAEL STANDEFER | Philosophical Review | 0 | ||
33 | 2013 | Truth, semantic closure, and conditionals | SHAWN MICHAEL STANDEFER | PhD Thesis. University of Pittsburgh. | |||
34 | 2011 | What Is Wrong with the Tarskian Theory of Truth? | SHAWN MICHAEL STANDEFER | The Logica Yearbook 2010 | |||
35 | 2010 | Philosophical Aspects of Display Logic | SHAWN MICHAEL STANDEFER | The Logica Yearbook 2009 |