Foi publicado recentemente no Logic Journal of IGPL um artigo conjunto com o Arnon Avron “Self-extensional three-valued paraconsistent logics have no implication” http://jigpal.oxfordjournals.org/content/early/2016/12/25/ jigpal.jzw059.abstract
Este artigo é uma certa continuacao do meu artigo “Idempotent full paraconsistent negations are not algebraizable” publicado no Notre Dame Journal of Formal Logic, 39 (1998), pp.135-139. http://www.jyb-logic.org/idempotent.pdf Neste artigo mostrei que numa logica paraconsistente onde vale a dupla negacao e ¬(p&¬p) nao vale o teorema de replacement. E uma interaco interessante entre propriedades logicas e metalogicas. Este teorema é provado a nivel asbtrato, nao dependendo de semanticas ou de sistemas de prova particulares, mas se aplica a numerosas logicas paraconsistentes trivalentes. Esses ultimos anos fiquei trabalhando num estudo sistematico de logicas paraconsistentes trivalentes (P3L) nas quais nao vale ¬(p&¬p). Escrevi dois artigos a respeito: “Strong Three-Valued Paraconsistent Logics” (com Anna Franceschetto) in New Directions in Paraconsistent Logic, Springer, New Delhi, 2015, pp.131-145. http://www.springer.com/us/book/9788132227175# “Two Genuine 3-Valued Paraconsistent Logics ”, in S.Akama (ed) Towards Paraconsistent Engineering , Springer, Heidelberg, 2016, pp.35-47 http://link.springer.com/chapter/10.1007/978-3-319-40418-9_4 Estava trabalhando sobre isso quando fui para Israel para 2 meses no verao passado no ambito do projeto GeTFun http://sqig.math.ist.utl.pt/GeTFun/ para colaborar com o Arnon Avron que é um dos melhores specialistos de P3L - ver em particualr o artigo dele com Ofer Arielli que é uma teoria geral dessas logicas Three-Valued Paraconsistent Propositional Logics in New Directions in Paraconsistent Logic, Springer, New Delhi, 2015, pp.91-129. http://www.springer.com/us/book/9788132227175# E nessas cricunstancias que produzimos em Tel-Aviv este artigo com um resultado bem importante para P3L. JYB -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLDexrWKhbwM3dO-qtxwhW8qzyhOADTTGeF9hVdYJH%3DxJw%40mail.gmail.com.
