Foto del docente

Guido Gherardi

Associate Professor

Department of the Arts

Academic discipline: M-FIL/02 Logic and Philosophy of Science

Publications

Guido Gherardi, Eugenio Orlandelli, Eric Raidl, Proof systems for super-strict implication, «STUDIA LOGICA», 2024, 112, pp. 249 - 294 [Scientific article]Open Access

Gherardi Guido, Review of: Eugenio Orlandelli e Giovanna Corsi, Corso di logica modale proposizionale, Carocci editore, Roma 2019, pp. 193., «APHEX», 2023, 27, pp. 98 - 127 [Review]

Guido Gherardi, Introduzione alla Teoria dei Modelli, Bologna, Archetipo Libri - CLUEB, 2023, pp. 122 (STUDI DI EPISTEMOLOGIA). [Research monograph]Open Access

guido gherardi, La logica del convincimento, in: Complessità pandemica. Una critica interdisciplinare, Lucca, La Vela, 2023, pp. 15 - 37 [Chapter or essay]

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 [Chapter or essay]

Gherardi, Guido; Orlandelli, Eugenio, Non-Normal Super-Strict Implications, in: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2022, 358, pp. 1 - 11 (atti di: 10th International Conference on Non-Classical Logics. Theory and Applications, Łódź, 14-18 Marzo 2022) [Contribution to conference proceedings]Open Access

Vasco Brattka; Guido Gherardi, Completion of choice, «ANNALS OF PURE AND APPLIED LOGIC», 2021, 172, Article number: 102914 , pp. 1 - 30 [Scientific article]Open Access

Orlandelli, Eugenio; Gherardi, Guido, Super-Strict Implications, «BULLETIN OF THE SECTION OF LOGIC», 2021, 50, pp. 1 - 34 [Scientific article]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 [Chapter or essay]Open Access

Gherardi, Guido; Maffezioli, Paolo; Orlandelli, Eugenio, Interpolation in Extensions of First-Order Logic, «STUDIA LOGICA», 2020, 108, pp. 619 - 648 [Scientific article]Open Access

Vasco Brattka; Guido Gherardi, Weihrauch goes Brouwerian, «THE JOURNAL OF SYMBOLIC LOGIC», 2020, 85, pp. 1614 - 1653 [Scientific article]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) [Contribution to conference proceedings]Open Access

Guido Gherardi, Alberto Marcone, Arno Pauly, Projection operators in the Weihrauch lattice, «COMPUTABILITY», 2019, 8, pp. 281 - 304 [Scientific article]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 [Chapter or essay]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 [Scientific article]Open Access