Alberto Naibo

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 3

Top Topics

Preference Relations

Intuitionistic Logic

Proof Theoretic

Top Venues

Publications

Alberto Naibo, Yuta Takahashi
Harmony in the Light of Computational Ludics. CoRR (2021)
Paolo Maffezioli, Alberto Naibo
An intuitionistic logic for preference relations. Log. J. IGPL 27 (4) (2019)
Giulio Guerrieri, Alberto Naibo
Postponement of $$\mathsf {raa}$$ raa and Glivenko's Theorem, Revisited. Stud Logica 107 (1) (2019)
Paolo Maffezioli, Alberto Naibo, Sara Negri
The Church-Fitch knowability paradox in the light of structural proof theory. Synth. 190 (14) (2013)