Grato Marcelo, agora o que mostramos com o Arnon é que não ha realemente logica paraconsistente 3-valoradas self-extensional: 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. ja tinha obtido resultados preiliminares a respeito disso 20 anos antes: J.-Y.Béziau, “Idempotent full paraconsistent negations are not algebraizable”, Notre Dame Journal of Formal Logic, 39 (1998), pp.135-139. Um abraço, Jean-Yves
Le jeudi 26 mars 2020 14:46:06 UTC-3, coniglio a écrit : > > Claro, seus trabalhos, os de Joao Marcos e os de Avron sobre LFIs > self-extensionais (modais e 3-valoradas) estão comentados. Nossa proposta é > diferente e abrange as LFIs basicas. > > Abraço > > Marcelo > > Em qui., 26 de mar. de 2020 às 13:48, jean-yves beziau <[email protected] > <javascript:>> escreveu: > >> Uma LFI que é self-extensional é S5: >> J.-Y.Béziau, “S5 is a paraconsistent logic and so is first-order >> classical logic”, Logical Investigations, 9, (2002), pp.301-309. >> >> http://www.jyb-logic.org/papers12-11/S5%20is%20a%20paraconsistent%20logic.pdf >> >> -- >> Você recebeu essa mensagem porque está inscrito 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] <javascript:>. >> Para ver essa discussão na Web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCKvcBd%2BgBKWXZg7EmBEonDR3B-16SQ8FfWu8OJEj-krg%40mail.gmail.com >> >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCKvcBd%2BgBKWXZg7EmBEonDR3B-16SQ8FfWu8OJEj-krg%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > -- 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/a05ed336-1487-4be9-9150-5dcc6b9013da%40dimap.ufrn.br.
