Bom dia, Alfredo e colegas! Muito bacana mesmo! Parabéns, mais uma vez, pela iniciativa!
Abraços, On Thu, May 26, 2022 at 3:06 AM Aldo Figallo-Orellano <aldofiga...@gmail.com> wrote: > 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ê 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/CAAd%2BSQnnVf62EBmq0bYXRAaSktV1K0fsbdBBmP7S7F2BGYGxrQ%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAd%2BSQnnVf62EBmq0bYXRAaSktV1K0fsbdBBmP7S7F2BGYGxrQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Elaine. ----------------------------------- Elaine Pimentel Associate Professor in Programming Principles, Logic, and Verification Department of Computer Science University College London https://sites.google.com/site/elainepimentel/ ----------------------------------- -- 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/CAHQVs%2BW5Bh9BuSfLNcO9SDKXbm6vr6F_w00QswP511bixzLnSQ%40mail.gmail.com.
