1. S'valuationism(with Pablo Cobreros)  
    to appear in: Sergi Oms and Elia Zardini (eds.), The Sorites Paradox, CUP;

2. “Stabilizing quantum disjunction"
    to appear in The Journal of Philosophical Logic

3. “Proof, meaning and paradox. Some remarks"
    to appear in Topoi
     [Special Issue Inferences and Proofs, guest edited by Gabriella Crocco and Antonio Piccolomini d'Aragona]

4. “The naturality of natural deduction" (with Mattia Petrolo and Paolo Pistone)
    Studia Logica, Online First. DOI: 10.1007/s11225-017-9772-6
    [Special Issue General Proof Theory, guest edited by Thomas Piecha and Peter Schroeder-Heister] 

5. “Proof-theoretic harmony: Towards an intensional account"
  
Synthese, Online first. DOI: 10.1007%2Fs11229-016-1200-3

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

6. “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] 

7. “Ekman's paradox" (with Peter Schroeder-Heister)
  
Notre Dame Journal of Formal Logic,
58(4):567-581, 2017. DOI: 10.1215/00294527-2017-0017

8.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]