>Falo brevemente sobre isto, aliás, na primeira parte deste
vídeo:
>https://youtu.be/vr8pGhJp6kA
>e para o caso da lógica paraconsistente eu discuto isto na seção 2 deste
paper:
>https://dimap.ufrn.br/~jmarcos/papers/JM/02-CM-taxonomy.pdf
Pré-homework? :P Vou dar uma olhada!
---
João Pedro de Amor
> > "If you are a logician working on non-classical logics, what are your
> > main motivations? And if you rather reject non-classical logics, what
> > are your reasons for that?"
> > https://twitter.com/antitheorem/status/1444709997368201220
>
[...]
>
> (inclusive gostei bastante da definição de u
> "If you are a logician working on non-classical logics, what are your
> main motivations? And if you rather reject non-classical logics, what
> are your reasons for that?"
> https://twitter.com/antitheorem/status/1444709997368201220
Não interajo muito por aqui, fico geralmente só observando, mas
