Publications HAL de Alberto,Naibo

2016

Article dans une revue

ref_biblio
Alberto Naibo. Putnam-Dummett. Quelle logique pour quel réalisme?. Archives de Philosophie, 2016, Visages de Putnam, 79 (4), pp.693-720. 〈http://www.cairn.info/revue-archives-de-philosophie-2016-4-page-693.htm〉. 〈hal-01394837〉
Accès au bibtex
BibTex
ref_biblio
Alberto Naibo, Mattia Petrolo. Compte rendu du livre de Nick Haverkamp, "Intuitionism vs. Classicism: A mathematical attack on classical logic" (Frankfurt am Main, Vittorio Klostermann). Revue philosophique de la France et de l'étranger, Presses Universitaires de France, 2016, 141 (1), pp.101-103. 〈halshs-01326736〉
Accès au bibtex
BibTex

Chapitre d'ouvrage

ref_biblio
Alberto Naibo, Mattia Petrolo, Thomas Seiller. On the computational meaning of axioms. Epistemology, Knowledge and the Impact of Interaction, 38, Springer, pp. 141-184, 2016, Logic, Epistemology, and the Unity of Science, 978-3-319-26504-9. 〈10.1007/978-3-319-26506-3_5〉. 〈http://link.springer.com/book/10.1007/978-3-319-26506-3〉. 〈halshs-01313400〉
Accès au bibtex
BibTex
ref_biblio
Alberto Naibo, Mattia Petrolo, Thomas Seiller. Verificationism and classical realizability. Perspectives on Interrogative Models of Inquiry, 8, Springer, pp.163-197, 2016, Logic, Argumentation & Reasoning, 978-3-319-20761-2. 〈10.1007/978-3-319-20762-9_9〉. 〈http://link.springer.com/chapter/10.1007%2F978-3-319-20762-9_9〉. 〈hal-01251229〉
Accès au bibtex
BibTex

2015

Article dans une revue

ref_biblio
Paolo Maffezioli, Alberto Naibo. Convenzionalismo e costanti logiche. Post, Mimesis, 2015, Convenzioni & Convenzionalismi, 4, pp.184-195. 〈halshs-01326731〉
Accès au bibtex
BibTex
ref_biblio
Alberto Naibo, Mattia Petrolo. Are uniqueness and deducibility of identicals the same?. Theoria: A Swedish Journal of Philosophy, Wiley, 2015, 81 (2), pp.143-181. 〈http://onlinelibrary.wiley.com/doi/10.1111/theo.12051/abstract〉. 〈10.1111/theo.12051〉. 〈hal-01251210〉
Accès au bibtex
BibTex

Chapitre d'ouvrage

ref_biblio
Alberto Naibo. Constructibility and geometry. From Logic to Practice: Italian Studies in the Philosophy of Mathematics, 308, Springer, pp.123-161, 2015, Boston Studies in the Philosophy and History of Science, 978-3-319-10433-1. 〈10.1007/978-3-319-10434-8_8〉. 〈http://link.springer.com/chapter/10.1007/978-3-319-10434-8_8〉. 〈hal-01251218〉
Accès au bibtex
BibTex

2014

Article dans une revue

ref_biblio
Paolo Maffezioli, Alberto Naibo. Proof theory of epistemic logic of programs. Logic and Logical Philosophy, Nicolaus Copernicus University Scientific Publishing House, 2014, 23 (3), pp.301-328. 〈http://apcz.pl/czasopisma/index.php/LLP/article/view/LLP.2013.026〉. 〈10.12775/LLP.2013.026〉. 〈hal-01251214〉
Accès au bibtex
BibTex

Pré-publication, Document de travail

ref_biblio
Paolo Maffezioli, Alberto Naibo. Convenzionalismo e costanti logiche. 2014. 〈hal-00940129〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00940129/file/Maffezioli-Naibo_Convenzionalismo_e_costanti_logiche.pdf BibTex
ref_biblio
Alberto Naibo, Mattia Petrolo, Thomas Seiller. On the Computational Meaning of Axioms. 2014. 〈hal-00930222〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00930222/file/On_the_computational_meaning_of_axioms.pdf BibTex

2013

Article dans une revue

ref_biblio
Paolo Maffezioli, Alberto Naibo, Sara Negri. The Church-Fitch knowability paradox in the light of structural proof theory. Synthese, Springer Verlag (Germany), 2013, 190 (14), pp.2677-2716. 〈http://link.springer.com/article/10.1007%2Fs11229-012-0061-7〉. 〈10.1007/s11229-012-0061-7〉. 〈hal-01251230〉
Accès au bibtex
BibTex

2012

Article dans une revue

ref_biblio
Alberto Naibo. Compte rendu du livre d'Alain Lecomte, "Meaning, Logic and Ludics" (London, Imperial College Press, 2011). Mathématiques et Sciences Humaines, Centre de Mathématique Sociale et de statistique, EPHE, 2012, 198 (2), pp.85-87. 〈halshs-01326734〉
Accès au bibtex
BibTex