Cerca
Items 1-5 di 5
MV-algebras, Grothendieck toposes and applications
(Universita degli studi di Salerno, 2016-05-31)
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 ...
Many valued logics: interpretations, representations and applications
(Universita degli studi di Salerno, 2017-05-10)
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 ...
Lukasiewicz logic: algebras and sheaves
(Universita degli studi di Salerno, 2011-02-21)
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 ...
Some topics in fuzzy logic
(Universita degli studi di Salerno, 2010-05-04)
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 ...
MV-algebras, semirings and their applications
(Universita degli studi di Salerno, 2021-04-17)
The thesis is divided in two parts: the first part regards MV-semirings,
involutive semirings and semimodules over them with particular attention
to injective and projective semimodules; the second part of the thesis is ...