GHERARDI, GUIDO
GHERARDI, GUIDO
DIPARTIMENTO DELLE ARTI
Docenti di ruolo di IIa fascia
Proof systems for super-strict implication
2024 Guido Gherardi, Eugenio Orlandelli, Eric Raidl
Eugenio Orlandelli e Giovanna Corsi, Corso di logica modale proposizionale, Carocci editore, Roma 2019, pp. 193.
2023 Gherardi Guido
Introduzione alla Teoria dei Modelli
2023 Guido Gherardi
La logica del convincimento
2023 guido gherardi
La calculabilité
2022 Guido, Gherardi; Maël, Pegny
Non-Normal Super-Strict Implications
2022 Gherardi, Guido; Orlandelli, Eugenio
Completion of choice
2021 Vasco Brattka; Guido Gherardi
Super-Strict Implications
2021 Orlandelli, Eugenio; Gherardi, Guido
Weihrauch complexity in computable analysis
2021 Vasco, Brattka; Guido, Gherardi; Arno, Pauly
Interpolation in Extensions of First-Order Logic
2020 Gherardi, Guido; Maffezioli, Paolo; Orlandelli, Eugenio
Weihrauch goes Brouwerian
2020 Vasco Brattka; Guido Gherardi
Interpolation in singular geometric theories
2019 Guido Gherardi; Paolo Maffezioli; Eugenio Orlandelli
Projection operators in the Weihrauch lattice
2019 Guido Gherardi, Alberto Marcone, Arno Pauly
Le direzioni della logica in Italia: la reverse mathematics e l'analisi computazionale
2018 Guido, Gherardi; Alberto, Marcone
Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Konig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655]
2017 Vasco Brattka; Andrea Cettolo; Guido Gherardi; Alberto Marcone; Matthias Schröder
Interpolation Theorem for First-Order Theories
2017 Guido, Gherardi; Paolo, Maffezioli; Eugenio, Orlandelli
The Vitali Covering Theorem in the Weihrauch Lattice
2017 Vasco Brattka; Guido Gherardi; Rupert Hölzl; Arno Pauly
Las Vegas computability and algorithmic randomness
2015 Vasco Brattka; Guido Gherardi; Rupert Hölzl
Probabilistic computability and choice
2015 Vasco Brattka; Guido Gherardi; Rupert Hölzl
The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma
2012 Vasco Brattka; Guido Gherardi; Alberto Marcone
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Proof systems for super-strict implication |
Guido Gherardi, Eugenio Orlandelli, Eric Raidl |
2024-01-01 | STUDIA LOGICA | - | 1.01 Articolo in rivista | GerardiOrlandelliRaidl_2023_PSSSI.pdf |
| Eugenio Orlandelli e Giovanna Corsi, Corso di logica modale proposizionale, Carocci editore, Roma 2019, pp. 193. | Gherardi Guido | 2023-01-01 | APHEX | - | 1.03 Recensione in rivista | - |
| Introduzione alla Teoria dei Modelli | Guido Gherardi | 2023-01-01 | - | Archetipo Libri - CLUEB | 3.01 Monografia / trattato scientifico in forma di libro | 5756-Gherardi_SN3.pdf |
| La logica del convincimento | guido gherardi | 2023-01-01 | - | La Vela | 2.01 Capitolo / saggio in libro | - |
| La calculabilité | Guido, Gherardi; Maël, Pegny | 2022-01-01 | - | La Sorbonne | 2.01 Capitolo / saggio in libro | Précis-Gherardi-Pégny postprint.pdf |
| Non-Normal Super-Strict Implications | Gherardi, Guido; Orlandelli, Eugenio | 2022-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | GherardiOrlandelli_2022_NNSSI.pdf |
| Completion of choice | Vasco Brattka; Guido Gherardi | 2021-01-01 | ANNALS OF PURE AND APPLIED LOGIC | - | 1.01 Articolo in rivista | Completion-of-Choice-APAL-con copertina.pdf |
| Super-Strict Implications | Orlandelli, Eugenio; Gherardi, Guido | 2021-01-01 | BULLETIN OF THE SECTION OF LOGIC | - | 1.01 Articolo in rivista | GherardiOrlandelli_2021_SuperStrictImp.pdf |
| Weihrauch complexity in computable analysis | Vasco, Brattka; Guido, Gherardi; Arno, Pauly | 2021-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | Chapter_BGP postprint con copertina.pdf |
| Interpolation in Extensions of First-Order Logic | Gherardi, Guido; Maffezioli, Paolo; Orlandelli, Eugenio | 2020-01-01 | STUDIA LOGICA | - | 1.01 Articolo in rivista | FinalSLStyle.pdf |
| Weihrauch goes Brouwerian | Vasco Brattka; Guido Gherardi | 2020-01-01 | THE JOURNAL OF SYMBOLIC LOGIC | - | 1.01 Articolo in rivista | Total-JSL con copertina.pdf |
| Interpolation in singular geometric theories | Guido Gherardi; Paolo Maffezioli; Eugenio Orlandelli | 2019-01-01 | - | University of Tuebingen | 4.01 Contributo in Atti di convegno | GherardiMaffezioliOrlandelli_2019_InterpolSingGeomTh.pdf |
| Projection operators in the Weihrauch lattice | Guido Gherardi, Alberto Marcone, Arno Pauly | 2019-01-01 | COMPUTABILITY | - | 1.01 Articolo in rivista | projections-Computability_postprint.pdf |
| Le direzioni della logica in Italia: la reverse mathematics e l'analisi computazionale | Guido, Gherardi; Alberto, Marcone | 2018-01-01 | - | ETS | 2.01 Capitolo / saggio in libro | rmca-ver2bis.pdf |
| Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Konig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655] | Vasco Brattka; Andrea Cettolo; Guido Gherardi; Alberto Marcone; Matthias Schröder | 2017-01-01 | ANNALS OF PURE AND APPLIED LOGIC | - | 1.01 Articolo in rivista | Bolzano-Weierstraß-APAL-addendum-postprint (1).pdf |
| Interpolation Theorem for First-Order Theories | Guido, Gherardi; Paolo, Maffezioli; Eugenio, Orlandelli | 2017-01-01 | THE BULLETIN OF SYMBOLIC LOGIC | - | 1.06 Abstract in rivista | - |
| The Vitali Covering Theorem in the Weihrauch Lattice | Vasco Brattka; Guido Gherardi; Rupert Hölzl; Arno Pauly | 2017-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | Gherardi-LNCS -1.pdf |
| Las Vegas computability and algorithmic randomness | Vasco Brattka; Guido Gherardi; Rupert Hölzl | 2015-01-01 | - | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | 4.01 Contributo in Atti di convegno | LasVegas-STACS15.pdf |
| Probabilistic computability and choice | Vasco Brattka; Guido Gherardi; Rupert Hölzl | 2015-01-01 | INFORMATION AND COMPUTATION | - | 1.01 Articolo in rivista | Probabilistic postprint new.pdf |
| The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma | Vasco Brattka; Guido Gherardi; Alberto Marcone | 2012-01-01 | ANNALS OF PURE AND APPLIED LOGIC | - | 1.01 Articolo in rivista | - |