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:
>
>
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
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