Mais um seminário, esta semana, do
Grupo de Lógica, Linguagem, Informação, Teoria e Aplicações
"K-like Fuzzy Kripke Models"
Regivan Hugo Nunes Santiago (DIMAp / UFRN)
Place: Sala de reuniões do DIMAp
Date: 26-Nov-10, 09:00-10:00
The generalization of Classical Logic to Fuzzy Logics and to Modal
Logics allows on one side the generalization of the truth from a
binary value to a many-valued setting, giving rise to the possibility
to modelling accurately the notion of uncertainty/possibility, and on
the other side, the introduction of a qualification on truth values
(e.g. the truth with respect to the time variations). Those notions
have been more widely investigated in a common setting giving rise to
Modal-Fuzzy Logics. This approach enables the introduction of a truth
qualification together with a grade of uncertainty enabling the
modelling of phenomena where the truth value is enriched with
uncertainty and qualification.
In this seminar, the investigation of the preservation of classical
modal theorems into the fuzzy setting is presented. The key concept
which permits such situation is called classical-like fuzzy semantics.
Logica-l mailing list