3 citations · 4 across the 2 of their papers we have counts for
6 papers
Computability of a Whitney Extension
Andrea Brun, Guido Gherardi, Alberto Marcone
We prove the computability of a version of Whitney Extension, when the input is suitably represented. More specifically, if is a closed set represented s…
Non-Normal Super-Strict Implications
Guido Gherardi, Eugenio Orlandelli
This paper introduces the logics of super-strict implications that are based on C.I. Lewis' non-normal modal logics S2 and S3. The semantics of these logics is based on Kripke's se…
Completion of Choice
Vasco Brattka, Guido Gherardi
We systematically study the completion of choice problems in the Weihrauch lattice. Choice problems play a pivotal role in Weihrauch complexity. For one, they can be used as landma…
Interpolation in extensions of first-order logic
Guido Gherardi, Paolo Maffezioli, Eugenio Orlandelli
We prove a generalization of Maehara's lemma to show that the extensions of classical and intuitionistic first-order logic with a special type of geometric axioms, called singular…
Projection operators in the Weihrauch lattice
Guido Gherardi, Alberto Marcone, Arno Pauly
In this paper we study the Weihrauch complexity of projection operators onto closed subsets of the Euclidean space. We show that some fundamental degrees of the Weihrauch lattice c…
The basis of Boole's logical calculus
Giovanna Corsi, Guido Gherardi
In the present paper we aim to provide a thoughtful and exegetical account of the fundamental ideas at the basis of Boole's theory, with the goal of developing our investigation st…