M. Alberto Naibo

Maître de conférences

Philosophie

Recherche

Responsabilités scientifiques

Direction du projet ANR La géométrie des algorithmes (GoA).

Publications

Publications HAL

2021

Article dans une revue

titre
Harmony in the Light of Computational Ludics
auteur
Alberto Naibo, Yuta Takahashi
article
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2021, Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications (Linearity&TLLA 2020), Online, 29-30 June 2020, 353, pp.132-156. ⟨10.4204/EPTCS.353.7⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Qu'est-ce qu'une démonstration ?
auteur
Jean Fichot, Alberto Naibo
article
Francesca Poggiolesi; Pierre Wagner. Précis de philosophie de la logique et des mathématiques, 1, Éditions de la Sorbonne, pp.49--108, 2021, Philosophie de la logique., 979-10-351-0631-7
typdoc
Chapitre d'ouvrage
Accès au bibtex
BibTex

2020

Chapitre d'ouvrage

titre
The problem of harmony in classical logic
auteur
Giulio Guerrieri, Alberto Naibo
article
The Logica Yearbook 2019, College Publications, pp. 49-65, 2020, 978-1-84890-327-2
typdoc
Chapitre d'ouvrage
Accès au bibtex
BibTex

2019

Article dans une revue

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

2017

Article dans une revue

titre
Entretien avec Prof. Alberto Naibo
auteur
Alberto Naibo
article
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
typdoc
Article dans une revue
Accès au bibtex
BibTex

2016

Article dans une revue

titre
Putnam-Dummett. Quelle logique pour quel réalisme?
auteur
Alberto Naibo
article
Archives de Philosophie, Centre Sèvres, 2016, Visages de Putnam, 79 (4), pp.693-720. ⟨10.3917/aphi.794.0693⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
On the computational meaning of axioms
auteur
Alberto Naibo, Mattia Petrolo, Thomas Seiller
article
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⟩
typdoc
Chapitre d'ouvrage
Accès au bibtex
BibTex
titre
Verificationism and classical realizability
auteur
Alberto Naibo, Mattia Petrolo, Thomas Seiller
article
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⟩
typdoc
Chapitre d'ouvrage
Accès au bibtex
BibTex

Autre publication scientifique

titre
Nick Haverkamp, "Intuitionism vs. Classicism: A mathematical attack on classical logic" (Frankfurt am Main, Vittorio Klostermann)
auteur
Alberto Naibo, Mattia Petrolo
article
2016, pp.101-103
typdoc
Autre publication scientifique
Accès au bibtex
BibTex

2015

Article dans une revue

titre
Convenzionalismo e costanti logiche
auteur
Paolo Maffezioli, Alberto Naibo
article
Post, Mimesis, 2015, Convenzioni & Convenzionalismi, 4, pp.184-195
typdoc
Article dans une revue
Accès au bibtex
BibTex
titre
Are uniqueness and deducibility of identicals the same?
auteur
Alberto Naibo, Mattia Petrolo
article
Theoria: A Swedish Journal of Philosophy, Wiley, 2015, 81 (2), pp.143-181. ⟨10.1111/theo.12051⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Constructibility and geometry
auteur
Alberto Naibo
article
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⟩
typdoc
Chapitre d'ouvrage
Accès au bibtex
BibTex

2014

Article dans une revue

titre
Proof theory of epistemic logic of programs
auteur
Paolo Maffezioli, Alberto Naibo
article
Logic and Logical Philosophy, Nicolaus Copernicus University Scientific Publishing House, 2014, 23 (3), pp.301-328. ⟨10.12775/LLP.2013.026⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex

Pré-publication, Document de travail

titre
Convenzionalismo e costanti logiche
auteur
Paolo Maffezioli, Alberto Naibo
article
2014
typdoc
Pré-publication, Document de travail
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00940129/file/Maffezioli-Naibo_Convenzionalismo_e_costanti_logiche.pdf BibTex
titre
On the Computational Meaning of Axioms
auteur
Alberto Naibo, Mattia Petrolo, Thomas Seiller
article
2014
typdoc
Pré-publication, Document de travail
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

titre
The Church-Fitch knowability paradox in the light of structural proof theory
auteur
Paolo Maffezioli, Alberto Naibo, Sara Negri
article
Synthese, Springer Verlag (Germany), 2013, 190 (14), pp.2677-2716. ⟨10.1007/s11229-012-0061-7⟩
typdoc
Article dans une revue
Accès au bibtex
BibTex

2012

Autre publication scientifique

titre
Alain Lecomte, "Meaning, Logic and Ludics" (London, Imperial College Press, 2011)
auteur
Alberto Naibo
article
2012, pp.85-87
typdoc
Autre publication scientifique
Accès au bibtex
BibTex