do Arnon Avron, foi publicado ha pouco na Logica Universalis https://link.springer.com/article/10.1007/s11787-020-00254-1
Com foi mostrado num artigo anterior não ha logicas paraconsistentes trivalentes auto-extensionais que tem uma implicação: A.Avron and J.-Y.Beziau, “Self-extensional three-valued paraconsistent logics have no implication”, Logic Journal of the IGPL, Volume 25, Issue 2 (April 2017), pp.183-194. https://academic.oup.com/jigpal/article-abstract/25/2/183/2739325/Self-extensional-three-valued-paraconsistent?redirectedFrom=fulltext Neste novo artigo o Arnon mostra que é possivel ter uma logica paraconistente quadri-valorada auto-extensional com uma implicação, respondendo a uma pergunta que eu tinha feito par ele quando estava em Tel Aviv trabalhando com ele em 2016 no ambito do projeto GeTFun. Acredito que esta nova logica parasonsistente (extensao da lógica de Dunn-Belnap) é uma das melhores que foi descoberta até hoje. Tenho intenção de publicar um artigo apresentando uma semantica bivalorade para esta nova lógica DBA (Dunn-Belnap-Avron), como eu fiz para a logica do Dunn-Belnap: J.-Y.Béziau, “Bivalent semantics for De Morgan logic (the uselessness of four-valuedness)", in W.A.Carnielli, M.E.Coniglio, I.M.L.D'Ottaviano (eds), The many sides of logic, College Publication, London, 2009, pp.391-402. https://www.jyb-logic.org/papers/morgan.pdf é um exercicio trivial usando o teorema que eu provei na minha tese de doutrado establecededno relações entre regras de sequentes e bivalorações, que foi publicado no artigo: J.-Y.Béziau, “Sequents and bivaluations”, Logique et Analyse, 44 (2001), pp.373-394. https://www.jyb-logic.org/seqbiv.pdf 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCz87qN0DRpd2djG%3DJGq%2BFWizeuBoc3kjpXUjM3xDV4Fw%40mail.gmail.com.
