Tenho pena de não poder estar presente... De todo modo, sobre o tema das lógicas paraconsistentes modais, envio abaixo o link para um paper no qual axiomatizamos (em cálculo de sequentes) a lógica modal minimal (e algumas de suas extensões) com conjunção, disjunção, e duas negações paranormais (uma notavelmente paraconsistente e outra paracompleta) acompanhadas de seus respectivos conectivos de restauração:
Negative modalities, consistency and determinedness (to appear in ENTCS) http://goo.gl/b59x1C Os resultados fazem parte da dissertação de mestrado de Adriano Dodó, a ser defendida no fim deste mês. JM 2013/10/11 Walter Carnielli <[email protected]>: > Caros colegas e estudantes: > > Convido a todos para a palestra do colega Professor Jean-Yves Beziau do > Departamento de Filosofia da UFRJ na terça-feira, 15 de outubro, aas 11:00, > na Sala de Seminários do CLE: > > TITULO: "Logpica Paraconsistente de A a Z". > > Att., > > Walter Carnielli -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
