Olá. Eu já perguntei isso aqui na lista anos atrás. Estou perguntando de novo porque pode ter pessoas novas e porque podem ter aparecido respostas novas.
A pergunta é: Alguém sabe de alguma aplicação concreta (isto é, num sistema computacional/físico) de lógica paraconsistente que esteja sendo realmente usado (isto é, que não seja apenas o fruto de um projeto de pesquisa)? Adolfo 2013/10/11 Umberto Rivieccio <umberto.riviec...@unige.it> > > 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 > -- ================================================================== Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br ================================================================== -------------------------------------------- Q: Why is this email three sentences or less? A: http://three.sentenc.es _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
