Mais um seminário, esta semana, do Grupo de Lógica, Linguagem, Informação, Teoria e Aplicações http://groups.google.com/group/lolita-ufrn/web/seminrios-do-lolita da UFRN:
"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 Abstract: 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 [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
