More in the Publications archive
Ayhan, S. [2024], Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations, Journal of Logic and Computation https://doi.org/10.1093/logcom/exae014
Ayhan, S. [2024], Notions of Proof and Refutation in ‘Gentzensemantik’: Franz von Kutschera as an Early Proponent of (Bilateralist) Proof-Theoretic Semantics, History and Philosophy of Logic, https://doi.org/10.1080/01445340.2024.2393964
Buzoku, Y & Pym, D. [2025], Base-extension Semantics for Intuitionistic Modal Logics. Tableaux 2025, https://doi.org/10.1007/978-3-032-06085-3_17
Eckhardt, T. & Pym, D. [2025], Base-extension Semantics for Modal Logic, Logic Journal of the IGPL, https://doi.org/10.1093/jigpal/jzae004
Eckhardt, T. & Pym, D. [2025], Base-extension Semantics for S5 Modal Logic, Logic Journal of the IGPL, https://doi.org/10.1093/jigpal/jzae131
Gheorghiu, A. V. & Gu, T. & Pym, D. [2024], A note on the practice of logical inferentialism: the state-effect interpretation, definitional reflection, and completeness, Second Conference on Logic and Philosophy: Historical and Contemporary Issues, Vilnius, Lithuania, arXiv:2403.10546
Gheorghiu, A. V. & Gu, T. & Pym, D. [2024], A Note on an Inferentialist Approach to Resource Semantics, Proceedings of Twelfth Scandinavian Logic Symposium, arXiv:2405.06491
Gheorghiu, A. V. & Gu, T. & Pym, D. [2024], Inferentialist Resource Semantics, Proceedings of MFPS 2024, Oxford, Electronic Notes in Theoretical Informatics and Computer Science, https://doi.org/10.48550/arXiv.2402.09217
Gheorghiu A. V. & Pym, D. [2025], From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic, Studia Logica, https://doi.org/10.1007/s11225-024-10163-9
Gheorghiu, A. V. & Pym, D. [2025], Semantic Foundations of Reductive Reasoning, Topoi, https://doi.org/10.1007/s11245-025-10211-6
Gu, T. & Gheorghiu, A. V. & Pym, D. [2025], Proof-theoretic Semantics for the Logic of Bunched Implications, Studia Logica, https://doi.org/10.1007/s11225-024-10163-9
Kürbis, N. [2024], Molecular Theories of Meaning and the Topic Neutrality of Logic, Perspectives on Deduction, https://doi.org/10.1007/978-3-031-51406-7_9
Kürbis, N. [2024], Bilateralism, Collapsing Modalities, and the Logic of Assertion and Denial, Theoria, https://doi.org/10.1111/theo.12516
Piccolomini d'Aragona, A. [2024], Are proofs objects or acts? A comparison of Prawitz's and Sundholm's semantics, in A. Klev, The architecture and archaeology of modern logic. Studies dedicated to Göran Sundholm, Logic, Epistemology, and the Unity of Science 61, Springer, https://doi.org/10.1007/978-3-031-52411-0_6
Pym, D & Ritter, E. & Robinson, E. [2024], Categorical Proof-theoretic Semantics, Studia Logica, https://doi.org/10.1007/s11225-024-10101-9
Simonelli, R. [2024], A general schema for bilateral proof rules, Journal of Philosophical Logic, https://doi.org/10.1007/s10992-024-09743-w
Tranchini, L. [2024], Harmony and paradox. Intensional aspects of proof-theoretic semantics, Trends in Logic, Springer, https://doi.org/10.1007/978-3-031-46921-3
von Kutschera, F. [2024 (1969)], A generalized notion of refutation for Gentzen calculi (Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle), edited and translated by Sara Ayhan, History and Philosophy of Logic, https://doi.org/10.1080/01445340.2024.2393970
More in the Positions archive
PhD Studentship at the University College of London with a project titled "A foundation theory of information based on inference", led by Tim Button and David Pym. Deadline for application: 05 January 2026. Link for further information
The meetings list can be found in the Events page