Carissimos, mais um seminario do LoLITA, desta vez
Sistemas Modais Intuicionistas - Uma abordagem semântica Profa. Maria da Paz (DFIL-UFRN) Local: Anfi-teatro A do CCET Dia: 27-Ago-10 Horário: 09:00hs Resumo: Discussões acerca dos aspectos intuicionistas de lógicas modais começam a surgir especialmente com a publicação dos trabalhos de R. A. Bull na década de 60, século passado, cuja preocupação era apresentar uma formalização de um conceito intuicionista de modalidade. Essas idéias iniciais, entretanto, estavam longe de uma aceitação consensual quanto à base dedutiva do que deve ser um sistema lógico modal intuicionista. No campo semântico a situação não é diferente, também não está estabelecido que conexão deva haver entre a relação de ordem dos modelos intuicionistas e a relação de acessibilidade dos modelos modais. Analisaremos, a partir da diversidade de sistemas surgidos na literatura, que modelos caracetizam adequadamente um sistema modal como intuicionista. Para informações atualizadas visite: > http://groups.google.com.br/group/lolita-ufrn/web/seminrios-do-lolita?msg=ns Atenciosamente, Regivan ********************************************************************************* Prof. Dr. Regivan Hugo Nunes Santiago Group of Logic, Language, Information, Theory and Applications - LoLITA Department of Informatics and Applied Mathematics - DIMAp Federal University of Rio Grande do Norte - UFRN Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil Phone: +55 84 3215-3814 Ext. 228 Fax: +55 84 3215-3813 http://www.dimap.ufrn.br/~regivan e-mail: regivan AT DOMAIN=dimap,ufrn,br. ********************************************************************************* _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
