Alberto Naibo

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Artificial intelligence and inherent mathematical difficulty Philosophia Mathematica. Series III	2026-01-28	Paper
There is no obstruction to a Euclidean proof for the fourth postulate Historia Mathematica	2026-01-06	Paper
Formalizing the logic and proofs of Book I of Euclid's \textit{Elements}: some examples Philosophia Scientiae	2025-07-09	Paper
A Euclidean proof for the fourth postulate Historia Mathematica	2025-03-19	Paper
Judgmental and definitional equality from a Fregean perspective	2025-02-04	Paper
Harmony in the light of computational ludics	2025-01-06	Paper
An intuitionistic logic for preference relations Logic Journal of the IGPL	2021-12-03	Paper
The problem of harmony in classical logic	2021-02-06	Paper
Verificationism and Classical Realizability Logic, Argumentation & Reasoning	2020-08-06	Paper
Constructibility and Geometry Boston Studies in the Philosophy and History of Science	2020-02-04	Paper
Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited Studia Logica	2019-05-15	Paper
Postponement of raa and Glivenko's theorem, revisited (extended version)	2017-10-24	Paper
Proof theory of epistemic logic of programs	2015-04-09	Paper
The Church-Fitch knowability paradox in the light of structural proof theory Synthese	2014-04-07	Paper

Research outcomes over time

This page was built for person: Alberto Naibo