Alberto Naibo

According to our database¹, Alberto Naibo authored at least 4 papers between 2013 and 2020.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2020

Harmony in the Light of Computational Ludics.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2020

2019

Postponement of $$\mathsf {raa}$$ raa and Glivenko's Theorem, Revisited.

[BibT_eX]

[DOI]

Stud Logica, 2019

An intuitionistic logic for preference relations.

[BibT_eX]

[DOI]

Log. J. IGPL, 2019

2013

The Church-Fitch knowability paradox in the light of structural proof theory.

[BibT_eX]

[DOI]

Synth., 2013