The Church-Fitch knowability paradox in the light of structural proof theory. - Paolo Maffezioli; Alberto Naibo; Sara Negri (Synth., 2013)

An intuitionistic logic for preference relations. - Paolo Maffezioli; Alberto Naibo (Log. J. IGPL, 2019)

Postponement of $$ mathsf {raa}$$ raa and Glivenko's Theorem, Revisited. - Giulio Guerrieri; Alberto Naibo (Stud Logica, 2019)

Harmony in the Light of Computational Ludics. - Alberto Naibo; Yuta Takahashi (Linearity&TLLA@IJCAR-FSCD, 2020)

Artifical intelligence and inherent mathematical difficulty. - Walter Dean; Alberto Naibo (CoRR, 2024)

Thinking Machines: Mathematical Reasoning in the Age of LLMs. - Andrea Asperti; Alberto Naibo; Claudio Sacerdoti Coen (CoRR, 2025)