On the computational meaning of axioms

2016

Alberto Naibo, Mattia Petrolo, Thomas Seiller

in: Epistemology, knowledge and the impact of interaction, Berlin,

Putnam-Dummett

Quelle logique pour quel réalisme?

2016

Alberto Naibo

Archives de philosophie 79 (4)

Constructibility and geometry

2015

Alberto Naibo

in: From logic to practice, Berlin,

The Church–Fitch knowability paradox in the light of structural proof theory

2013

Paolo Maffezioli, Alberto Naibo, Sara Negri

Synthese 190 (14)