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
Car@s colegas:
Para os que se interessam pelo antigo problema de algebrização das
lógicas paraconsistentes, Marcelo Coniglio, David Fuenmayor (da Frei
Un. Berlim) e eu conseguimos um avanço interessante. Com auxilio
heurístico do assistente de provas Isabelle, conseguimos definir
várias
