Given a metric space (X, d), equipped with a Borel measure, a measurable set A ⊆ X is a density set if the points where A has density 1 are exactly the points of A. The main theme of this work is the study of the topological ...

Classical logic arose from the need to study forms and laws of the human reasoning. But soon, it came out the di culties of classical logic to formalize uncertain events and vague concepts, for which it is not possible ...

This thesis, as the research activity of the author, is devoted to establish new connections and to strengthen well-established relations between different branches of mathematics, via logic tools. Two main many valued ...

Si trattano diversi aspetti della logica fuzzy, in particolare: 1) le proprietà preservate da un modello fuzzy ogniqualvolta esso è sottoposto a qualche genere di modifica; 2) la programmazione logica fuzzy, la logica della ...

This thesis is a contribution to the research program ‘toposes as bridges’ introduced in [12], which aims at developing the unifying potential of the notion of Grothendieck topos as a means for relating different ...