The Church–Fitch knowability paradox in the light of structural proof theory P Maffezioli, A Naibo, S Negri
Synthese 190 (14), 2677-2716, 2013
44 2013 Are uniqueness and deducibility of identicals the same? A Naibo, M Petrolo
Theoria 81 (2), 143-181, 2015
22 2015 On the computational meaning of axioms A Naibo, M Petrolo, T Seiller
Epistemology, knowledge and the impact of interaction, 141-184, 2016
20 2016 Recursive functions W Dean, A Naibo
16 2020 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
9 2014 Putnam-Dummett. Quelle logique pour quel réalisme? A Naibo
Archives de Philosophie 79 (4), 693-720, 2016
8 2016 Verificationism and classical realizability A Naibo, M Petrolo, T Seiller
Perspectives on Interrogative Models of Inquiry: Developments in Inquiry and …, 2016
7 2016 Constructibility and geometry A Naibo
From Logic to Practice: Italian Studies in the Philosophy of Mathematics …, 2014
6 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 Réalisme et omniscience de Dieu: l’approche de Dummett A Naibo
L’enseignement philosophique, 27-38, 2023
2023 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