News
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
Eckhardt, T. & Pym, D. [2024], Base-extension Semantics for Modal Logic, Logic Journal of the IGPL, https://doi.org/10.1093/jigpal/jzae004
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
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 CfPs archive
The history and fate of the analytic-synthetic distinction. Topical issue of Humana.Mente. Journal of Philosophical Studies. Edited by Felice Masi and Luigi Laino. Deadline for submission: March 31st 2025. Link for further information
The meetings list can be found in the Events page