| The Church–Fitch knowability paradox in the light of structural proof theory P Maffezioli, A Naibo, S Negri Synthese 190 (14), 2677-2716, 2013 | 41 | 2013 |
| Are uniqueness and deducibility of identicals the same? A Naibo, M Petrolo Theoria 81 (2), 143-181, 2015 | 18 | 2015 |
| On the computational meaning of axioms A Naibo, M Petrolo, T Seiller Epistemology, knowledge and the impact of interaction, 141-184, 2016 | 17 | 2016 |
| Postponement of and Glivenko’s Theorem, Revisited G Guerrieri, A Naibo Studia Logica 107 (1), 109-144, 2019 | 9 | 2019 |
| Proof theory of epistemic logic of programs P Maffezioli, A Naibo Logic and Logical Philosophy 23 (3), 301–328-301–328, 2014 | 8 | 2014 |
| Putnam-Dummett. Quelle logique pour quel réalisme? A Naibo Archives de Philosophie 79 (4), 693-720, 2016 | 7 | 2016 |
| Verificationism and classical realizability A Naibo, M Petrolo, T Seiller Perspectives on Interrogative Models of Inquiry: Developments in Inquiry and …, 2016 | 6 | 2016 |
| Constructibility and geometry A Naibo From Logic to Practice: Italian Studies in the Philosophy of Mathematics …, 2014 | 4 | 2014 |
| The problem of harmony in classical logic G Guerrieri, A Naibo The Logica Yearbook 2019, pp. 49-65, 2020 | 1 | 2020 |
| An intuitionistic logic for preference relations P Maffezioli, A Naibo Logic Journal of the IGPL 27 (4), 434-450, 2019 | 1 | 2019 |
| A Geometric Theory of Algorithms A Naibo, T Seiller | | 2022 |
| Harmony in the Light of Computational Ludics A Naibo, Y Takahashi arXiv preprint arXiv:2112.14967, 2021 | | 2021 |
| Qu'est-ce qu'une démonstration? J Fichot, A Naibo Précis de philosophie de la logique et des mathématiques 1, 49--108, 2021 | | 2021 |
| Postponement of Reduction ad Absurdum and Glivenko’s Theorem, Revisited G Guerrieri, A Naibo Studia Logica, 2019 | | 2019 |
| Postponement of and Glivenko’s Theorem, Revisited G Guerrieri, A Naibo | | 2019 |
| Postponement of raa and Glivenko's theorem, revisited (extended version) G Guerrieri, A Naibo arXiv preprint arXiv:1710.08854, 2017 | | 2017 |
| Entretien avec Prof. Alberto Naibo A Naibo Kínesis. Revista de Estudos dos Pós-Graduandos em Filosofia 9 (20), xxi-xli, 2017 | | 2017 |
| Intuitionism vs. Classicism: A Mathematical Attack on Classical Logic, coll.«Studies in Theoretical Philosophy» A Naibo, M Petrolo Revue Philosophique de la France et de l'Étranger 206 (1), 101-103, 2016 | | 2016 |
| Nick Haverkamp," Intuitionism vs. Classicism: A mathematical attack on classical logic"(Frankfurt am Main, Vittorio Klostermann) A Naibo, M Petrolo Revue philosophique de la France et de l'étranger 141 (1), 101-103, 2016 | | 2016 |
| Convenzionalismo e costanti logiche P Maffezioli, A Naibo | | 2014 |
