Project-related publications

Authored Volumes

• Harmony and Paradox: Intensional aspects of proof-theoretic semantics, to appear in Trends in Logic, Springer.

Articles in Journals

• “Higher-level inferences in the Strong-Kleene setting: A proof-theoretic approach" (with Pablo Cobreros and Elio La Rosa)

Journal of Philosophical Logic, Online First, DOI: 10.1007/s10992-021-09639-z

[Special Issue Substructural Logics and Metainferences, guest edited by Eduardo Barrio and Paul Egré]

• “The naturality of natural deduction (II): On atomic polymorphism and generalized propositional connectives" (with Paolo Pistone and Mattia Petrolo)

Studia Logica, 110:545–592, 2022. DOI: 10.1007/s11225-021-09964-z

• “Equality and apartness in bi-intuitionistic logic" (with Paolo Maffezioli)

Logical Investigations, 27(1):82-106, 2021.

[Special Issue Negation, guest edited by Grigory Olkhovikov, Hitoshi Omori and Heinrich Wansing]

• “(I can’t get no) Antisatisfaction" (with Pablo Cobreros and Elio La Rosa)

Synthese, 198:8251–8265 (2021). DOI: 10.1007/s11229-020-02570-x

Book Chapters/Articles in Proceedings

• “Judgmental and definitional equality from a Fregean perspective“ (with Alberto Naibo)

to appear in a volume dedicated to the work of Göran Sundholm, edited by Ansten Klev.

• “Intensional harmony as isomorphism“ (with Paolo Pistone)

to appear in Thomas Piecha and Kai Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics, Outstanding

Contributions to Logic, Springer.

• “What’s Decidable about (Atomic) Polymorphism?“ (with Paolo Pistone)

in N. Kobayashi (ed.), FSCD 2021: Fifth International Conference on Formal Structures for Computation and Deduction, Leibniz

International Proceedings in Informatics (LIPIcs) n. 195, Dagstuhl: Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2021. DOI:

10.4230/LIPIcs.FSCD.2021.27

• “The Yoneda reduction of polymorphic types“ (with Paolo Pistone)

in C. Baier and J. Goubault-Larrecq (eds.), 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), Leibniz International

Proceedings in Informatics (LIPIcs) n. 183, Dagstuhl: Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2021. DOI:

10.4230/LIPIcs.CSL.2021.35

• “Negation“

in F. Poggiolesi and P. Wagner (eds.), Précis de philosophie de la logique, Editions de la Sorbonne, Paris, 2021, pp. 253–301.

Manuscripts

• “A refutation calculus for intuitionistic logic“ (with Gianluigi Bellin)

available upon request.