Alberto Naibo
Alberto Naibo
Verified email at univ-paris1.fr - Homepage
Title
Cited by
Cited by
Year
The Church–Fitch knowability paradox in the light of structural proof theory
P Maffezioli, A Naibo, S Negri
Synthese 190 (14), 2677-2716, 2013
332013
Are uniqueness and deducibility of identicals the same?
A Naibo, M Petrolo
Theoria 81 (2), 143-181, 2015
142015
On the computational meaning of axioms
A Naibo, M Petrolo, T Seiller
Epistemology, Knowledge and the Impact of Interaction, 141-184, 2016
132016
Proof theory of epistemic logic of programs
P Maffezioli, A Naibo
Logic and Logical Philosophy 23 (3), 301-328, 2014
82014
Putnam-Dummett. Quelle logique pour quel réalisme?
A Naibo
Archives de Philosophie 79 (4), 693-720, 2016
72016
Verificationism and classical realizability
A Naibo, M Petrolo, T Seiller
Perspectives on Interrogative Models of Inquiry, 163-197, 2016
52016
Postponement of raa and Glivenko’s Theorem, Revisited
G Guerrieri, A Naibo
Studia Logica 107 (1), 109-144, 2019
42019
Constructibility and geometry
A Naibo
From Logic to Practice, 123-161, 2015
42015
An intuitionistic logic for preference relations
P Maffezioli, A Naibo
Logic Journal of the IGPL 27 (4), 434-450, 2019
12019
The problem of harmony in classical logic
G Guerrieri, A Naibo
The Logica Yearbook 2019, pp. 49-65, 2020
2020
Postponement of and Glivenko’s Theorem, Revisited
G Guerrieri, A Naibo
2019
Postponement of and Glivenko’s Theorem, Revisited
G Guerrieri, A Naibo
2019
Postponement of and Glivenko’s Theorem, Revisited
G Guerrieri, A Naibo
2019
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
Compte rendu du livre de 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
Compte rendu du livre d'Alain Lecomte," Meaning, Logic and Ludics"(London, Imperial College Press, 2011)
A Naibo
Mathématiques et Sciences Humaines 198 (2), 85-87, 2012
2012
Vérité et Preuve
G Guerrieri, A Naibo, M Petrolo, T Seiller
2010
Constantes logiques
A Naibo
2009
The system can't perform the operation now. Try again later.
Articles 1–20