Publications

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. [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. 

• 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 

• Gheorghiu, A. V. [2023], Negation-as-Failure in the Base-extension Semantics for Intuitionistic Propositional Logic, Bulletin of the Section of Logic, https://doi.org/10.18778/0138-0680.2023.16 

• Kürbis, N. [2023], Supposition: A Problem for Bilateralism, Bulletin of the Section of Logic, https://doi.org/10.18778/0138-0680.2023.07 

• 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. [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 

• 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 

• 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

• Wansing, H. & Ayhan, S. [2023], Logical Multilateralism, Journal of Philosophical Logic,  https://doi.org//10.1007/s10992-023-09720-9