This is a list of the papers which have been announced so far on the site. For an extensive bibliography on PTS, see Peter Schroeder-Heister's SEP entry.
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
Ayhan, S. [2023], What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory, Australasian Journal of Logic, https://doi.org/10.26686/ajl.v20i3.7692
Ayhan, S. & Wansing, H. [2023], On synonymy in proof-theoretic semantics. The case of 2Int, Bulletin of the Section of Logic, https://doi.org/10.18778/0138-0680.2023.18
Ayhan, S. [2021], What is the meaning of proofs? A Fregean distinction in proof-theoretic semantics, Journal of Philosophical Logic, https://doi.org/10.1007/s10992-020-09577-2
Ayhan, S. [2021], Uniqueness of logical connectives in a bilateralist setting, in Blicha, M. & Sedlár, I. (eds), The Logica Yearbook 2020, pp. 1-16, College Publications.
Ayhan, S. [2020], A cut-free sequent calculus for the bi-intuitionistic logic 2Int, arXiv:2009.14787.
Buzoku, Y & Pym, D. [2025], Base-extension Semantics for Intuitionistic Modal Logics. To appear: Proc. Tableaux 2025, https://arxiv.org/abs/2507.06834
Catta, D. & Piccolomini d'Aragona, A. [2022], Game of grounds, in Oliveri, G., Boscolo, S. & Ternullo, C. (eds), Objects, structures and logics, Boston studies in the philosophy and history of science, Springer, https://doi.org/10.1007/978-3-030-84706-7_10
Ceragioli, L. [2023], Bilateral rules as complex rules, Bulletin of the Section of Logic, https://doi.org/10.18778/0138-0680.2023.13
de Campos Sanz, W. & Oliveira, H. [2015], On Dummett's verificationist justification procedure, Synthese, https://doi.org/10.1007/s11229-015-0865-3
del Valle-Inclan, P. [2023], Harmony and normalisation in bilateral logic, Bulletin of the Section of Logic, https://doi.org/10.18778/0138-0680.2023.14
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. [2023], Definite formulae, negation-as-failure, and the base-extension semantics of intuitionistic propositional logic, Bulletin of the Section of Logic, https://doi.org/10.18778/0138-0680.2023.16
Gheorghiu, A. V. & Gu, T. & Pym, D. [2023], Proof-theoretic semantics for intuitionistic multiplicative linear logic, TABLEAUX 2023, https://doi.org/10.1007/978-3-031-43513-3_20
Gheorghiu, A. V. & Pym, D. [2023], Semantical analysis of the logic of bunched implications, Studia Logica, https://doi.org/10.1007/s11225-022-10028-z
Gheorghiu, A. V. & Docherty, S. & Pym, D. [2023], Reductive logic, proof-search, and coalgebra: a perspective from resource semantics, Samson Abramsky on Logic and Structure in Computer Science and Beyond, https://doi.org/10.1007/978-3-031-24117-8_23
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
Indrzejczak, A. & Kürbis N. [2023], A cut-free, sound and complete Russellian theory of definite descriptions, TABLEAUX 2023, https://doi.org/10.1007/978-3-031-43513-3_7
Kürbis, N. [2022], Bilateral inversion principles, Electronic Proceedings in Theoretical Computer Science NCL’22, https://dx.doi.org/10.4204/EPTCS.358.15
Kürbis, N. [2022], On a definition of logical consequence, Thought, https://doi.org/10.5840/tht20233612
Kürbis, N. [2022], Normalisation and subformula property for a system of classical logic with Tarski’s rule, Archive for Mathematical Logic, https://doi.org/10.1007/s00153-021-00775-6
Kürbis, N. [2023], Correction regarding ‘Normalisation and subformula property for a system of classical logic with Tarski’s rule’, https://doi.org/10.13140/RG.2.2.13288.28167
Kürbis, N. [2023], Supposition: a problem for bilateralism, Bulletin of the Section of Logic, https://doi.org/10.18778/0138-0680.2023.07
Kürbis, N. [2024], Bilateralism, collapsing modalities, and the logic of assertion and aenial, Theoria, https://doi.org/10.1111/theo.12516
Montesi, F. & Piccolomini d'Aragona, A. [2022], Prawitz's semantics and Walton's argument schemes: a tentative reading and application of Kreisel's informal rigour, in Cantù, P., Halimi, B., Heinzmann, G. & Patras, F. (eds), Objectivity in mathematics, Noesis, 38
Oliveira, H. [2021], On Dummett's pragmatist justification procedure, Erkenntnis, https://doi.org/10.1007/s10670-019-00112-7
Piazza, M., Pulcini, G. & Tesi, M. [2023], Fractional-valued modal logic and soft bilateralism, Bulletin of the Section of Logic, https://doi.org/10.18778/0138-0680.2023.17
Piccolomini d'Aragona, A. [2025], Some results in non-monotonic proof-theoretic semantics, Studia Logica, https://doi.org/10.1007/s11225-025-10195-9
Piccolomini d'Aragona, A. [2024], A note on schematic validity and completeness in Prawitz's semantics, in Bianchini, F., Fano, V. & Graziani, P., (eds), Current topics in logic ad the philosophy of science. Papers from SILFS 2022 postgraduate conference, College Publications, https://arxiv.org/abs/2501.10135
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 archaelogy 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
Piccolomini d'Aragona, A. [2023], Four constructivist attitudes in Prawitzian semantics, in I. Sedlar (ed), The Logica Yearbook 2022, College Publications
Piccolomini d'Aragona, A. [2023], Prawitz's epistemic grounding. An investigation into the power of deduction, Synthese Library, Springer, ISBN 978-3-031-20293-3, https://doi.org/10.1007/978-3-031-20294-0
Piccolomini d'Aragona, A. [2023], The proof-theoretic square, Synthese, https://doi.org/10.1007/s11229-023-04203-5
Piccolomini d'Aragona, A. [2022], A note on Etchemendy's and Prawitz's reduction principles for the Tarskian and model-theoretic concept of consequence, Theoria, https://doi.org/10.1111/theo.12430
Piccolomini d'Aragona, A. [2022], Calculi of epistemic grounding based on Prawitz's theory of grounds, Studia Logica, https://doi.org/10.1007/s11225-021-09979-6
Piccolomini d'Aragona, A. [2021], Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds, Studia Logica, https://doi.org/10.1007/s11225-021-09969-8
Piccolomini d'Aragona, A. [2021], Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics, Journal of philosophical logic, https://doi.org/10.1007/s10992-021-09621-9
Piccolomini d'Aragona, A. [2019], Dag Prawitz on proofs, operations and grounding, Topoi, https://doi.org/10.1007/s11245-017-9473-9
Piccolomini d'Aragona, A. [2018], A partial calculus for Dag Prawitz's theory of grounds and a decidability issue, in Christian, A., Hommen, D., Retzlaff, N. & Schurz, G. (eds), Philosophy of science - Between natural science, social science and the humanities, European studies in philosophy of science 9, Springer, https://doi.org/10.1007/978-3-319-72577-2_13
Pym, D. [2022], Reductive logic & proof-theoretic semantics: a coalgebraic perspective, Proof-Theoretic Semantics: Assessment and Future Perspectives: Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, http://dx.doi.org/10.15496/publikation-35319
Pym, D., Ritter, E. & Robinson, E. [2022], Proof-theoretic semantics in sheaves (Extended Abstract), Eleventh Scandinavian Logic Symposium, https://scandinavianlogic2020.w.uib.no/files/2022/06/SLSS2022-booklet-4.pdf#page=36
Pym, D., Ritter, E. & Robinson, E. [2024], Categorical proof-theoretic semantics, Studia Logica, https://doi.org/10.1007/s11225-024-10101-9
Restall, G. [2023], Structural rules in natural deduction with alternatives, Bulletin of the Section of Logic, https://doi.org/10.18778/0138-0680.2023.6
Simonelli, R. [2024], A general schema for bilateral proof rules, Journal of Philosophical Logic, https://doi.org/10.1007/s10992-024-09743-w
Stafford, W. [2021], Proof theoretic semantics and inquisitive logic, Journal of Philosophical Logic, https://doi.org/10.1007/s10992-021-09596-7
Stafford, W. & Nascimento, V. [2023], Following all the rules: intuitionistic completeness for generalized proof-theoretic validity, Analysis, https://doi.org/10.1093/analys/anac100
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
Usberti, G. [2023], Meaning and justification. An internalist theory of meaning, Springer, https://doi.org/10.1007/978-3-031-24605-0, 978-3-031-24607-4
van Dijk, E., Ripley, D. & Gutierrez, J. [2023], Core type theory, Bulletin of the Section of Logic, https://doi.org/10.18778/0138-0680.2023.19
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
Wansing, H. & Ayhan, S. [2023], Logical multilateralism, Journal of Philosophical Logic, https://doi.org//10.1007/s10992-023-09720-9
Weiss, B. & 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