Project-related publications

1. “Supervaluationism, Subvaluationism and the Sorites Paradox" (with Pablo Cobreros)

to appear in: Sergi Oms and Elia Zardini (eds.), The Sorites Paradox, CUP;

2. “How to Ekman a Crabbé-Tennant" (with Peter Schroeder-Heister)

Synthese, Online First. DOI: 10.1007/s11229-018-02018-3

[Special Issue Substructural approaches to paradoxes, guest edited by Elia Zardini]

3. “Proof, meaning and paradox. Some remarks"

[Special Issue Inferences and Proofs, guest edited by Gabriella Crocco and Antonio Piccolomini d'Aragona]

4. “Proof-theoretic harmony: Towards an intensional account"

[Special Issue Intensionality in Mathematics, guest edited by Marianna Antonutti Marfori and Paola Quinon]

5. “The naturality of natural deduction" (with Mattia Petrolo and Paolo Pistone)

Studia Logica 107(1):195-231, 2019. DOI: 10.1007/s11225-017-9772-6

[Special Issue General Proof Theory, guest edited by Thomas Piecha and Peter Schroeder-Heister]

6. “Stabilizing quantum disjunction"

Journal of Philosophical Logic 47(6):1029-1047, 2018. DOI: 10.1007%2Fs10992-018-9460-7

7. “Natural deduction for bi-intuitionistic logic"

Journal of Applied Logic 25:S72-S96, 2017. DOI: 10.1016/j.jal.2017.12.001

[Special Issue Logical Investigations on Assertion and Denial, guest edited by Massimiliano Carrara, Daniele Chiffi and Ciro de Florio]

8. “Ekman's paradox" (with Peter Schroeder-Heister)

Notre Dame Journal of Formal Logic, 58(4):567-581, 2017. DOI: 10.1215/00294527-2017-0017 ]

9. “Proof analysis of global consequence" (with Pablo Cobreros)

Logique et Analyse 60(239):355-373, 2017 (final draft PDF)

[Special Issue How to say ``Yes'' or ``No'', guest edited by Filip Buekens, Massimiliano Carrara, Daniele Chiffi and Ciro de Florio]