Department Members
Department Activity
Also at Kansas State University
-
Shay Logan, Nondeterministic and nonconcurrent computational semantics for BB+ and related logicsJournal of Logic and Computation 1-20. forthcoming.
-
Thomas Ferguson and Shay Logan, Topic Transparency and Variable Sharing in Weak Relevant LogicsErkenntnis 1-28. forthcoming.
-
Will Stafford, Proof-Theoretic Validity isn’t Intuitionistic; So What?Australasian Journal of Philosophy. forthcoming.
-
Hunter Gentry, Constructing Embodied Emotion with Language: Moebius Syndrome and Face-Based Emotion Recognition RevisitedAustralasian Journal of Philosophy. forthcoming.
-
Shay Logan and Francesca Boccuni, Frege meets Belnap: Basic Law V in a Relevant LogicIn Andrew Tedder, Shawn Standefer & Igor Sedlar (eds.), New Directions in Relevant Logic, Springer. pp. 381-404. 2025.
-
Shay Logan, Semantics for Second Order Relevant LogicsIn Andrew Tedder, Shawn Standefer & Igor Sedlar (eds.), New Directions in Relevant Logic, Springer. 2025.
-
Graham Leach-Krouse, Shay Logan, and Blane Worley, Logic in the deep endAnalysis 84 (2): 282-291. 2024.
-
Shay Allen Logan, Relevance LogicCambridge University Press. 2024.
-
Will Stafford, Thomas Piecha and Peter Schroeder-Heister. Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. Studia Logica , vol. 107 (2019), no. 1, pp. 233–246. - Alexander V. Gheorghiu, Tao Gu and David J. Pym. Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. Automated Reasoning with Analytic Tableaux and Related Methods, Revantha Ramanayake and Josef Urban, Lecture Notes in Computer Science, vol. 14278, Springer, Cham, pp. 367–385. - Hermógenes Oliveira. On Dummett’s Pragmatist Justification Procedure. Erkenntnis , vol. 86 (2021), no. 2, pp. 429–455 (review)Bulletin of Symbolic Logic 30 (3): 427-431. 2024.
-
Hunter Gentry and Cameron Buckner, Transitional gradation and the distinction between episodic and semantic memoryPhilosophical Transactions of the Royal Society B: Biological Sciences 379 (1913). 2024.
-
Jon Mahoney, The Religion Clauses in the US Constitution: Some Debates on Liberty, Equality, and Religious FreedomВестник Казну, Серия Религиоведение 1. 2023.
-
Shay Logan, Correction to: Depth Relevance and HyperformalismJournal of Philosophical Logic 52 (4): 1235-1235. 2023.
-
Michael Calasso and Shay Allen Logan, Stratified Restricted UniversalsAsian Journal of Philosophy 2 (2): 44. 2023.
-
Roy T. Cook and Nathan Kellen, Just How Many “Lukes” Are There in A New Hope, Anyway?In Jason T. Eberl & Kevin S. Decker (eds.), Star Wars and Philosophy Strikes Back, Wiley. 2023.
-
Andrew Arana and Will Stafford, On the difficulty of discovering mathematical proofsSynthese 202 (2): 1-29. 2023.
-
Will Stafford and Victor Barroso-Nascimento, Following all the rules: Intuitionistic completeness for generalized proof-theoretic validityAnalysis 83 (3): 507-516. 2023.
-
Amelia Hicks, Dispensing with the Subjective Moral 'Ought'In Mark C. Timmons (ed.), Oxford Studies in Normative Ethics, Volume 11. 2022.
-
Shay Logan and Graham Leach-Krouse, Hyperdoctrine Semantics: An InvitationIn Shay Logan & Graham Leach-Krouse (eds.), The Logica Yearbook, 2021, College Publications. pp. 115-134. 2022.
-
Shay Logan, Depth Relevance and HyperformalismJournal of Philosophical Logic 51 (4): 721-737. 2022.
-
Nathan Kellen, There Is No Truth in Ba Sing Se: Bald-Faced Lies and the Nature of LyingIn Helen De Cruz & Johan De Smedt (eds.), Avatar: The Last Airbender and Philosophy: Wisdom From Aang to Zuko, Wiley-blackwell. 2022.
-
Will Stafford, Decidability in Proof-Theoretic ValidityIn Igor Sedlár (ed.), The Logica Yearbook 2021, College Publications. pp. 153-166. 2022.
-
Will Stafford, Something Valid This Way Comes: A Study of Neologicism and Proof-Theoretic ValidityBulletin of Symbolic Logic 28 (4): 530-531. 2022.
-
Stephanie Hoffmann, An evaluation of the autopoietic account of interestsSynthese 200 (3): 1-18. 2022.
-
Jon Mahoney, Toleration and Liberty of ConscienceIn Mitja Sardoc (ed.), Handbook of Toleration, Palgrave. 2021.
-
Jon Mahoney, Liberalism and Liberal Muslims. 2021.
-
Amelia Hicks, Non-ideal prescriptions for the morally uncertainPhilosophical Studies 179 (4): 1039-1064. 2021.
-
Graham Leach-Krouse, Coalgebra And AbstractionNotre Dame Journal of Formal Logic 62 (1): 33-66. 2021.
-
Shay Logan and Graham Leach-Krouse, On Not Saying What We Shouldn't Have to SayAustralasian Journal of Logic 18 (5): 524-568. 2021.