Publications HAL de Alberto,Naibo

2020

Chapitre d'ouvrage

ref_biblio
Giulio Guerrieri, Alberto Naibo. The problem of harmony in classical logic. The Logica Yearbook 2019, College Publications, pp. 49-65, 2020, 978-1-84890-327-2. ⟨hal-02918618⟩
Accès au bibtex
BibTex

2019

Article dans une revue

ref_biblio
Paolo Maffezioli, Alberto Naibo. An intuitionistic logic for preference relations. Logic Journal of the IGPL, Oxford University Press (OUP), 2019, 27 (4), pp.434-450. ⟨10.1093/jigpal/jzz013⟩. ⟨hal-02277856⟩
Accès au bibtex
BibTex
ref_biblio
Giulio Guerrieri, Alberto Naibo. Postponement of $\mathsf {raa}$ and Glivenko’s Theorem, Revisited. Studia Logica, Springer Verlag (Germany), 2019, 107 (1), pp.109-144. ⟨10.1007/s11225-017-9781-5⟩. ⟨hal-02110501⟩
Accès au bibtex
BibTex

2017

Article dans une revue

ref_biblio
Alberto Naibo. Entretien avec Prof. Alberto Naibo. Kínesis. Revista de Estudos dos Pós-Graduandos em Filosofia, Faculdade de Filosofia e Ciências da Universidade Estadual Paulista, 2017, 9 (20), pp.xxi-xli. ⟨hal-02110537⟩
Accès au bibtex
BibTex

2016

Article dans une revue

ref_biblio
Alberto Naibo. Putnam-Dummett. Quelle logique pour quel réalisme?. Archives de Philosophie, Centre Sèvres, 2016, Visages de Putnam, 79 (4), pp.693-720. ⟨hal-01394837⟩
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⟩. ⟨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⟩. ⟨hal-01251229⟩
Accès au bibtex
BibTex

Autre publication

ref_biblio
Alberto Naibo, Mattia Petrolo. Nick Haverkamp, "Intuitionism vs. Classicism: A mathematical attack on classical logic" (Frankfurt am Main, Vittorio Klostermann). 2016, pp.101-103. ⟨halshs-01326736⟩
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. ⟨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⟩. ⟨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. ⟨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. ⟨10.1007/s11229-012-0061-7⟩. ⟨hal-01251230⟩
Accès au bibtex
BibTex

2012

Autre publication

ref_biblio
Alberto Naibo. Alain Lecomte, "Meaning, Logic and Ludics" (London, Imperial College Press, 2011). 2012, pp.85-87. ⟨halshs-01326734⟩
Accès au bibtex
BibTex