Caro Umberto, Certamente deveremos mudar a frase do abstract (que, como mencionado antes, em nada afeta o que é apresentado no artigo).
Um grande abraço, e aguardamos seus comentários! Marcelo Em qui., 26 de mar. de 2020 às 15:41, Umberto Rivieccio < umberto.riviec...@gmail.com> escreveu: > > Olá Marcelo, Walter, > > > Muito obrigado pela atinada observação. As LFIs às que nos referimos não > são nem self-extensional nem algebrizáveis. Neste artigo estamos > principalmente preocupados com a self-extensionality, no sentido de que > todos os conectivos (incluindo a negação paraconsistente e o conectivo de > consistência) preservem a interderivabilidade; dai sai a algebrizabilidade. > > Entendo. Mesmo assim, minha sugestão seria (se ainda possível) de > modificar aquela frase no abstract, porque parece sugerir uma implicação > entre ser self-extensional e algebraizable, o que sabemos ser falso em > geral (há também lógicas self-extensional que não são algebraizable). Eu > ainda não li o artigo inteiro, vou mandar talvez mais comentários assim que > terminar a leitura! > > Abraços, > > Umberto > > > > > > Um grande abraço > > > > Marcelo > > > > > > Em qui., 26 de mar. de 2020 às 11:36, Umberto Rivieccio < > umberto.riviec...@gmail.com> escreveu: > > > > Caro Walter, > > > > Um detalhe no abstract: > > > > It is known that these systems are not algebraizable in the sense of > Blok-Pigozzi since they are non self-extensional (i.e., they do not satisfy > the replacement property). > > > > Uma lógica pode ser algebraizable e non-self-extensional ao mesmo tempo > (por exemplo a lógica de Lukasiewicz, a lógica de Nelson etc.). A > replacement property que falha no caso das LFIs (imagino) não é relativa > (apenas) à inter-derivabilidade da lógica, e sim à equivalência entre > fórmulas definida usando (imagino) a implicação e/ou outros conectivos da > lógica. > > > > Abraços, > > > > Umberto > > > > > > -- > > 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 logica-l+unsubscr...@dimap.ufrn.br. > > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/F6AA8744-8AC8-4529-95FD-75EBA56C7404%40gmail.com > . > > -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAKuKcnLe7v%3DmB0mgBw%2BV0_cpWQX%3Daboc3RuDr8bJcJzs6kaTSQ%40mail.gmail.com.
