Décio, Como já disse em outros emails, estou procurando aplicações reais (isto é, que sejam usadas mesmo -- que não sejam apenas exemplos em artigos) e em Computação.
Não encontrei nenhuma até hoje. Quero muito encontrar. Quanto ao Kazumi ( http://www.informatik.uni-trier.de/~ley/pers/hd/n/Nakamatsu:Kazumi), procurei por ele no ISI. O artigo mais citado dele tem 17 citações. A maioria absoluta são auto-citações. Os que não são auto-citações não são citados. Enfim, tudo indica desinteresse por parte de quem aplica. []s Adolfo 2013/12/18 Décio Krause <[email protected]> > Puxa, Adolfo, você não conhece as aplicações em robótica, tráfego aéreo, > fabricação de cerveja, engenharia elétrica, medicina, etc? > No artigo em anexo há alguma referência, mas a coisa está rolando desde > então. Basicamente, são aplicações das lógicas anotadas, e são bem > interessantes. Procure por Kazumi Nakamatsu. > Abraço > Décio > > ________________________ > > *Décio Krause* > *Departamento de Filosofia* > *Universidade Federal de Santa Catarina* > *www.cfh.ufsc.br/~dkrause <http://www.cfh.ufsc.br/~dkrause>* > ________________________ > > > > > > Em 18/12/2013, à(s) 20:09, Adolfo Neto <[email protected]> > escreveu: > > Questão no Quora: > > http://www.quora.com/Logic/Is-Paraconsistent-Logic-useful-or-at-least-meaningful > > Gostei desta resposta, de Robert J. Kolker< > http://www.quora.com/Robert-J-Kolker> > > "Meaningful yes. I have not seen a slam bang useful application of a truly > paraconsistent logic. Perhaps you can provide some examples." > > Eu continuo procurando... > Claro, só estou interessado em aplicações "concretas" em Computação. > > Se alguém souber de algo, me avise. > > > > > ================================================================== > 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 > [email protected] > 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 [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
