Guido Gherardi,
Eugenio Orlandelli,
Eric Raidl, Proof systems for super-strict implication, «STUDIA LOGICA», 2024, 112, pp. 249 - 294 [articolo]Open Access
Gherardi Guido, Recensione a: Eugenio Orlandelli e Giovanna Corsi, Corso di logica modale proposizionale, Carocci editore, Roma 2019, pp. 193., «APHEX», 2023, 27, pp. 98 - 127 [recensione]
Guido Gherardi, Introduzione alla Teoria dei Modelli, Bologna, Archetipo Libri - CLUEB, 2023, pp. 122 (STUDI DI EPISTEMOLOGIA). [libro]Open Access
guido gherardi, La logica del convincimento, in: Complessità pandemica. Una critica interdisciplinare, Lucca, La Vela, 2023, pp. 15 - 37 [capitolo di libro]
Guido, Gherardi; Maël, Pegny, La calculabilité, in: Précis de Philosophie de la Logique et des Mathématiques, Parigi, La Sorbonne, 2022, pp. 257 - 302 [capitolo di libro]
Gherardi, Guido; Orlandelli, Eugenio, Non-Normal Super-Strict Implications, in: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022, 358, pp. 1 - 11 (atti di: 10th International Conference on Non-Classical Logics. Theory and Applications, Łódź, 14-18 Marzo 2022) [Contributo in Atti di convegno]Open Access
Vasco Brattka; Guido Gherardi, Completion of choice, «ANNALS OF PURE AND APPLIED LOGIC», 2021, 172, Article number: 102914, pp. 1 - 30 [articolo]Open Access
Orlandelli, Eugenio; Gherardi, Guido, Super-Strict Implications, «BULLETIN OF THE SECTION OF LOGIC», 2021, 50, pp. 1 - 34 [articolo]Open Access
Vasco, Brattka; Guido, Gherardi; Arno, Pauly, Weihrauch complexity in computable analysis, in: Handbook of Computability and Complexity in Analysis, Cham, Springer, 2021, pp. 367 - 417 [capitolo di libro]Open Access
Gherardi, Guido; Maffezioli, Paolo; Orlandelli, Eugenio, Interpolation in Extensions of First-Order Logic, «STUDIA LOGICA», 2020, 108, pp. 619 - 648 [articolo]Open Access
Vasco Brattka; Guido Gherardi, Weihrauch goes Brouwerian, «THE JOURNAL OF SYMBOLIC LOGIC», 2020, 85, pp. 1614 - 1653 [articolo]Open Access
Guido Gherardi; Paolo Maffezioli; Eugenio Orlandelli, Interpolation in singular geometric theories, in: Thomas Piecha; Peter Schroeder-Heister, Proof-Theoretic Semantics: Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019, tuebingen, University of Tuebingen, 2019, pp. 787 - 796 (atti di: Proof-Thoeeoretic SemanticsAssessment and Future Perspectives, University of Tuebingen, 27-30 marzo 2019) [Contributo in Atti di convegno]Open Access
Guido Gherardi, Alberto Marcone, Arno Pauly, Projection operators in the Weihrauch lattice, «COMPUTABILITY», 2019, 8, pp. 281 - 304 [articolo]Open Access
Guido, Gherardi; Alberto, Marcone, Le direzioni della logica in Italia: la reverse mathematics e l'analisi computazionale, in: Le Direzioni della ricerca logica in Italia 2, Pisa, ETS, 2018, pp. 295 - 332 [capitolo di libro]Open Access
Vasco Brattka; Andrea Cettolo; Guido Gherardi; Alberto Marcone; Matthias Schröder, Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Konig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655], «ANNALS OF PURE AND APPLIED LOGIC», 2017, 168, pp. 1605 - 1608 [articolo]Open Access