Publications

Jean Fichot: Proof-Theoretic Semantics and Feasibility. In: J. Dubucs & M. Bourdeau (eds), Constructivity and Computability in Historical and Philosophical Perspective, Logic, Epistemology, and the Unity of Science 34, 2014, pp. 135–157.

Jean Fichot: Translation of Solomon Feferman, 'What rests on what? The proof-theoretic analysis of mathematics'. In: S. Gandon & Y. Smadja (eds.), Textes Clés Philosophie des Mathématiques, Vrin (forthcoming).

Wagner de Campos Sanz & Thomas Piecha: Inversion and the Admissibility of Logical Rules. In: C. Drossos, P. Peppas and C. Tsinakis (eds.), Proceedings of the 7th Panhellenic Logic Symposium, Patras University Press 2009, pp. 147–151.

Wagner de Campos Sanz & Thomas Piecha: Inversion by Definitional Reflection and the Admissibility of Logical Rules. The Review of Symbolic Logic 2 (2009), 550–569. (© 2009 Association for Symbolic Logic)

Wagner de Campos Sanz & Thomas Piecha: A criticism of the BHK interpretation Abstract for the ASL Logic Colloquium 2010, Paris, 25–31 July. The Bulletin of Symbolic Logic 17 (2011), p. 292.

Thomas Piecha & Wagner de Campos Sanz: Inversion of Logical Rules by Definitional Reflection. In: K. Brünnler and T. Studer (eds.), Proof, Computation, Complexity PCC 2010, International Workshop, Proceedings, Technical report IAM-10-001, 2010.

Wagner de Campos Sanz, Thomas Piecha & Peter Schroeder-Heister: Constructive semantics, admissibility of rules and the validity of Peirce's law (Draft). Logic Journal of the IGPL 22 (2014), 297–308. First published online: August 6, 2013, doi:10.1093/jigpal/jzt029.

Wagner de Campos Sanz & Thomas Piecha: A Critical Remark on the BHK Interpretation of Implication, Philosophia Scientiae 18(3), 2014, 13-22. DOI: 10.4000/philosophiascientiae.965. (Draft)

Thomas Piecha, Wagner de Campos Sanz & Peter Schroeder-Heister: Failure of completeness in proof-theoretic semantics (Draft), Journal of Philosophical Logic 44 (2015), 321–335. First published online August 1, 2014.

Thomas Piecha, Completeness in Proof-Theoretic Semantics. In: T. Piecha & P. Schroeder-Heister (eds), Advances in Proof-Theoretic Semantics, Trends in Logic 43, Springer 2016, pp. 231-251.

Thomas Piecha & Peter Schroeder-Heister (eds.), Advances in Proof-Theoretic Semantics, Trends in Logic 43, Springer 2016. (Introduction)

Francesca Poggiolesi: The Tree-hypersequent Method for Modal Propositional Logic. In: D. Makinson, J. Malinowski & H. Wansing (eds.), Trends in Logic: Towards Mathematical Philosophy, Springer, 2008.

Francesca Poggiolesi: A cut-free simple sequent calculus for modal logic S5''. Review of Symbolic Logic 1 (2008), 3–15.

Francesca Poggiolesi: A tree-hypersequent calculus for the modal logic of provability''. Submitted to AiML, 2008.

Francesca Poggiolesi: A purely syntactic and cut-free sequent calculus for the modal logic of provability. Review of Symbolic Logic 2 (2009), 593–611.

Francesca Poggiolesi: Reflecting the semantic features of S5 at the syntactic level. In: M. D'Agostino, G. Giorello, F. Laudisa, T. Pievani & C. Sinigaglia (eds.), New Essays in Logic and Philosophy of Science, London College Publications, 2010.

Francesca Poggiolesi: Gentzen Calculi for Modal Propositional Logic. Trends in Logic, Vol. 32. Springer, 2010.

Francesca Poggiolesi: Display calculi and other modal calculi: a comparison. Synthese 173 (2010), 259–279.

Brian Hill & Francesca Poggiolesi: A contraction-free and cut-free sequent calculus for propositional dynamic logic. Studia Logica 94 (2010), 47–72.

Peter Schroeder-Heister: Sequent Calculi and Bidirectional Natural Deduction: On the Proper Basis of Proof-Theoretic Semantics. In: M. Peliš (ed.), The Logica Yearbook 2008, London: College Publications 2009.

Peter Schroeder-Heister: Definitional Reflection and Basic Logic. To appear in the APAL special issue Advances in Constructive Topology and Logical Foundations in honor of the 60th birthday of Giovanni Sambin (Maria Emilia Maietti, Erik Palmgren and Michael Rathjen, eds.).

Peter Schroeder-Heister: Generalized elimination inferences, higher-level rules, and the implications-as-rules interpretation of the sequent calculus. Contribution to: Edward Hermann Haeusler, Luiz Carlos Pereira and Valeria de Paiva (eds.), Advances in Natural Deduction, 2010.

Peter Schroeder-Heister: Implications-as-rules vs. implications-as-links: An alternative implication-left schema for the sequent calculus. Journal of Philosophical Logic 40 (2011), 95–101.

Peter Schroeder-Heister: An alternative implication-left schema for the sequent calculus. Abstract for the ASL Logic Colloquium 2010, Paris, 25–31 July. The Bulletin of Symbolic Logic 17 (2011), p. 316.

Peter Schroeder-Heister: Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition. To appear in: J.-Y. Béziau and G. Payette (eds.), New Perspectives on the Square of Opposition, Peter Lang, Bern, 2010.

Peter Schroeder-Heister: Implications-as-rules vs. implications-as-links: An alternative implication-left schema for the sequent calculus. Journal of Philosophical Logic 40 (2011), 95-101.

Peter Schroeder-Heister: Schluß und Umkehrschluß: Ein Beitrag zur Definitionstheorie. In: Carl Friedrich Gethmann (ed.), Lebenswelt und Wissenschaft. Akten des XXI. Deutschen Kongresses für Philosophie (Essen, 15.–19. September 2008). Deutsches Jahrbuch Philosophie, Bd. 2, 2012, 1065-1092.

Peter Schroeder-Heister: The categorical and the hypothetical: a critique of some fundamental assumptions in standard semantis. Synthese 187 (2012), 925-942.

Peter Schroeder-Heister: Proof-theoretic semantics. In: E. Zalta (ed.), Stanford Encyclopedia of Philosophy (2012).

Peter Schroeder-Heister, Open problems in proof-theoretic semantics. In: T. Piecha & P. Schroeder-Heister (eds), Advances in Proof-Theoretic Semantics, Trends in Logic 43, Springer 2016, pp. 253-283.

Luca Tranchini: The Role of Negation in Proof-theoretic Semantics: a Proposal. In: M. Peliš (ed.), The Logica Yearbook 2008, London: College Publications 2009.

Luca Tranchini: Proof and Truth. An anti-realist perspective. To be published by ETS, Pisa, 2011.

Luca Tranchini: Refutation: a proof-theoretic account. In: C. Marletti (ed.), First Pisa Colloquium in Logic, Language and Epistemology, ETS, Pisa.

Luca Tranchini: Truth: an anti-realist adequacy condition. In: P. Stalmaszczyk (ed.), Philosophy of Language and Linguistics. Volume I: the Formal Turn, Ontos Verlag, 2010.

Luca Tranchini: Natural deduction for dual-intuitionistic logic. Accepted for Studia Logica (2011).

Luca Tranchini: Truth from a proof-theoretic perspective. Topoi, forthcoming in a special issue containing the proceedings of the workshop 'Anti-realistic Notions of Truth', held in Siena, 10–12th September 2010.