Alberto Naibo

Available identifiers

zbMath Open naibo.albertoMaRDI QIDQ2443326

List of research outcomes

Publication	Date of Publication	Type
Harmony in the light of computational ludics	2025-01-06	Paper
An intuitionistic logic for preference relations	2021-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q5149151	2021-02-06	Paper
Verificationism and Classical Realizability	2020-08-06	Paper
Constructibility and Geometry	2020-02-04	Paper
Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited	2019-05-15	Paper
Postponement of raa and Glivenko's theorem, revisited (extended version)	2017-10-24	Paper
https://portal.mardi4nfdi.de/entity/Q4982512	2015-04-09	Paper
The Church-Fitch knowability paradox in the light of structural proof theory	2014-04-07	Paper

Research outcomes over time

This page was built for person: Alberto Naibo