> Hi Joao (and Brazilian logicians), > > I have recently been working on modal paraconsistent logics as well, here is > a preprint that might be of interest for you: > > http://www.cs.bham.ac.uk/%7Erivieccu/pub/kri.pdf > > We are going to submit a longer journal version soon. All comments welcome. > > Tudo de bom, > > Umberto > > > >> 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 <walter.carnie...@gmail.com>: >>> 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 >> Logica-l@dimap.ufrn.br >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >
_______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
