2 citations · 6 across the 11 of their papers we have counts for
12 papers
Quasitoposes as elementary quotient completions
Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini
The elementary quotient completion of an elementary doctrine in the sense of Lawvere was introduced in previous work by the first and third authors. It generalises the exact comple…
Quantitative Equality in Substructural Logic via Lipschitz Doctrines
Francesco Dagnino, Fabio Pasquali
Substructural logics naturally support a quantitative interpretation of formulas, as they are seen as consumable resources. Distances are the quantitative counterpart of equivalenc…
A characterisation of elementary fibrations
Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini
Grothendieck fibrations provide a unifying algebraic framework that underlies the treatment of various form of logics, such as first order logic, higher order logics and dependent…
Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies
Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini
Hyland's effective topos offers an important realizability model for constructive mathematics in the form of a category whose internal logic validates Church's Thesis. It also cont…
Aristotle's square of opposition in the light of Hilbert's epsilon and tau quantifiers
Fabio Pasquali, Christian Retoré
Aristotle considered particular quantified sentences in his study of syllogisms and in his famous square of opposition. Of course, the logical formulas in Aristotle work were not m…
Hilbertian Toposes Epsilon Toposes
Fabio Pasquali
We study Hilbert's epsilon calculus and Hilbert's partial epsilon calculus in toposes.