Prezado Alfredo, Eu tive o privilégio de estudar a tese da Professora Itala. A teoria de modelo que ela apresenta talvez seja uma das primeiras teorias de modelos baseados numa lógica algebrizável usando de fato um álgebra de três valores de verdade, mas com certeza a primeira teria de modelos paraconsistente. Um trabalho revolucionário da época.
Muito obrigado Alfredo pela contribuição de seu espaço. Abraços, Aldo El mié., 25 de mayo de 2022 19:07, Alfredo Roque Freire < alfrfre...@gmail.com> escribió: > Olá a todas e todos, > > Gostaria de compartilhar com vocês o novo vídeo da série ideias > brasileiras. Esse vídeo é sobre os sistemas J3 de Ítala D'Ottaviano. > Os vídeos dessa série são muito trabalhosos e, por isso, vamos publicar > muito aos poucos. > > - *Ideias brasileiras - Itala D'Ottaviano e as lógicas J3.* > Segue o link: https://youtu.be/KAg29gXjb_U > > > Atualmente, temos duas séries em andamento: > - *Tarski e a teoria semântica da verdade* > https://youtu.be/RfHvHEUGBpQ > - *Teoremas da incompletude de Gödel* > https://youtu.be/haLdRqnu_Uk > > Espero que gostem, > Abraços > -- > Alfredo Roque Freire > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <logica-l@dimap.ufrn.br> > --- > Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHk6N6YAOg2ixqjPKV6s8%3DS6iR9aUE4TFRPuNHHsa-GY4hRTsg%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHk6N6YAOg2ixqjPKV6s8%3DS6iR9aUE4TFRPuNHHsa-GY4hRTsg%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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/CAAd%2BSQnnVf62EBmq0bYXRAaSktV1K0fsbdBBmP7S7F2BGYGxrQ%40mail.gmail.com.
