with Lindström, S. , Palmgren, E. , 2012, 'Introduction: the philosophy of logical consequence and inference', Synthese 187 (3), 817-820.
, 2012, 'From constants to consequence, and back', Synthese 187 (3), 957-971.
with Lindström, S. , Palmgren, E. (eds) , 2012, Synthese 187 (3).
, 2008a, Proofs instead of meaning explanations: understanding classical vs intuitionistic mathematics from the outside, in R. Lupacchini & G. Corsi (eds.), Deduction, computation, experiment, Dordrecht, Springer, pp. 175-194.