Alberto Naibo

Available identifiers

zbMath Open naibo.albertoMaRDI QIDQ2443326

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alberto Naibo