Re: [Logica-l] Re: LFIs com replacement
Caro Umberto: Muito obrigado pela observação. Talvez devêssemos escrever mais claramente, mas acho que a explicação do Marcelo esclarece nossa intenção. Abraços, Walter Em qui., 26 de mar. de 2020 às 11:36, Umberto Rivieccio 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/CAOrCsLdGUVj80df0RugQdx_pM8a0obt19JTMhy6Od2Brcf25Vw%40mail.gmail.com.
Re: [Logica-l] Re: LFIs com replacement
Caro Umberto, 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. 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/CAKuKcnLM6VCT_fJv%2BVoxKZETTYtVA2P656zdeygj8mzvm0p7JA%40mail.gmail.com.
[Logica-l] Re: LFIs com replacement
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.
