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 [email protected]. 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.
