Re: [Logica-l] J. Michael Dunn (1941-2021)

Three questions to J. MICHAEL DUNN http://www.paraconsistency.org/18f-mike-dunn.html The Algebra of Intensional Logics by J. MICHAEL DUNN with an introductory essay by Katalin Bimbó http://collegepublications.co.uk/lphd/?2 Le mercredi 7 avril 2021 à 18:54:35 UTC-3, aloparic a écrit : > Com

[Logica-l] Kurt Gödel Award 2021: What does it mean for our worldview if, according to Gödel, we assume the non-existence of time?

-- Forwarded message - From: Kurt Gödel Circle of Friends Date: Wed, Apr 7, 2021 at 10:16 AM Subject: Kurt Gödel Award 2021: What does it mean for our worldview if, according to Gödel, we assume the non-existence of time? To: Dear Prof. Beziau, We are pleased to inform you

Re: [Logica-l] Vácuo

"Verdadeiro por vacuidade"? Abraços, JM On Wed, Apr 7, 2021 at 9:22 PM Carlos Augusto Prolo wrote: > > Prezados, > como se diz (ou como vocês dizem) vacuosly true, vacuos true in português? > Cada vez que que eu começo a dizer "vacuamente verdadeira" meus ouvidos doem > que só e eu chaveio

[Logica-l] Re: Vácuo

Opa, "... vacuosly true, vacuos* truth em* português? " On Wed, Apr 7, 2021 at 9:23 PM Carlos Augusto Prolo wrote: > Prezados, > como se diz (ou como vocês dizem) vacuosly true, vacuos true in português? > Cada vez que que eu começo a dizer "vacuamente verdadeira" meus ouvidos > doem que só e

[Logica-l] Vácuo

Prezados, como se diz (ou como vocês dizem) vacuosly true, vacuos true in português? Cada vez que que eu começo a dizer "vacuamente verdadeira" meus ouvidos doem que só e eu chaveio (switcho?) para inglês. Abraço, Prolo -- Você está recebendo esta mensagem porque se inscreveu no grupo

Re: [Logica-l] J. Michael Dunn (1941-2021)

Com certeza uma grande perda. Em qua., 7 de abr. de 2021 às 12:20, Itala Maria Loffredo D'Ottaviano < it...@unicamp.br> escreveu: > Que triste! > Estou muito triste mesmo. > Também conheci o Michel Dunn em um Wollic e me encontrei com ele em outras > ocasiões. > Sempre tão simpático e acolhedor.

Re: [Logica-l] outra noticia triste: Roberto Bedregal (UFPB)

Obrigado a Thiago e Valéria pela divulgação e obrigado aos colegas pelas suas mensagens, especialmente ao João Marcos. Segue o link de uma linda homenagem que o departamento de matemática da UFPB, onde trabalhava o meu pai, fez para ele:

Re: [Logica-l] outra noticia triste: Roberto Bedregal (UFPB)

Notícia muitissimo triste. Uma perda enorme. Meus sentimentos para o Benjamin, o Claudio e todos seus familiares e amigos. Marcelo Em qua., 7 de abr. de 2021 às 12:31, valeria.depaiva escreveu: > > do Twitter do Thiago da Silva ontem > > Hoje a Matemática brasileira perde um grande nome para a

Re: [Logica-l] outra noticia triste: Roberto Bedregal (UFPB)

Meus sentimentos ao Benjamin e ao Claudio, muita serenidade nesta hora. Há 2 semanas também faleceu Artur Ziviani, do LNCC, aos 43 anos, vítima da COVID. Artur era pesquisador da área de CC, na área de redes e de computação de alto desempenho. Vai fazer falta. []s Em qua., 7 de abr. de 2021

Re: [Logica-l] outra noticia triste: Roberto Bedregal (UFPB)

Meu sentimentos ao Benjamín, ao Cláudio e a toda família nesse momento tão difícil. Abraços Mario Em qua., 7 de abr. de 2021 às 13:02, Joao Marcos escreveu: > O filho dele, Claudio Callejas, hoje professor da UFERSA, foi meu > (co-)orientando de mestrado, e é membro desta lista. O irmão,

Re: [Logica-l] outra noticia triste: Roberto Bedregal (UFPB)

O filho dele, Claudio Callejas, hoje professor da UFERSA, foi meu (co-)orientando de mestrado, e é membro desta lista. O irmão, Benjamín, é fundador do nosso grupo de pesquisa Lo.L.I.T.A., e muito querido por todos que o conhecem. Roberto foi sempre uma alegria por onde passou. A Claudio,

Re: [Logica-l] outra noticia triste: Roberto Bedregal (UFPB)

Mais uma notícia triste, vários matemáticos pereceram pela COVID desde janeiro de 2020. Alguém sabe se John Michael Dunn foi vitimado pela COVID também? Abraços tristes, Walter Em qua., 7 de abr. de 2021 às 12:31, valeria.depaiva escreveu: > > do Twitter do Thiago da Silva ontem > > Hoje a

[Logica-l] outra noticia triste: Roberto Bedregal (UFPB)

do Twitter do Thiago da Silva ontem Hoje a Matemática brasileira perde um grande nome para a Covid: prof. Roberto Bedregal (UFPB). Um exímio geômetria algebrista, de uma simpatia inigualável e sorriso franco. Foi uma honra conhecê-lo, professor. -- Você está recebendo esta mensagem porque se

Re: [Logica-l] J. Michael Dunn (1941-2021)

Que triste! Estou muito triste mesmo. Também conheci o Michel Dunn em um Wollic e me encontrei com ele em outras ocasiões. Sempre tão simpático e acolhedor. Convidei-o para nossa FAPESP LOGIC SCHOOL, em homenagem aos 90 anos de Newton da Costa, que deveria ter ocorrido em julho de 2020 e está

Re: [Logica-l] J. Michael Dunn (1941-2021)

Muito triste mesmo essa noticia! o Prof Dunn sempre foi muito simpatico e acessivel! tem um autobiografia dele J. Michael Dunn obituary by Gerg Restal . Here

Re: [Logica-l] J. Michael Dunn (1941-2021)

Pessoal Que triste, conheci o Michael Dunn qdo esteve no Brasil, num Wollic no final da década de 90, e me levou a trabalhar mais na área de lógicas subclássicas. Uma grande perda, mesmo. []s Em qua., 7 de abr. de 2021 às 10:58, Walter Carnielli escreveu: > Pessoal, > > Que notícia triste!

Re: [Logica-l] J. Michael Dunn (1941-2021)

Pessoal, Que notícia triste! Ele estava tão bem, sempre polidamente irónico, inclusive iria vir para a nossa,Escola São Paulo (adiada em razão da pandemia). Minhas condolências à familia e a toda a comunidade lógica. Uma grande perda. Walter Em qua, 7 de abr de 2021 10:27, Joao Marcos

[Logica-l] Fwd: EPIA2021 online

Rafael Testa já divulgou isto aqui antes, mas volto a divulgar a pedido de Ricardo Gonçalves. JM -- Forwarded message - *** Apologies for multiple copies *** CALL FOR PAPERS Knowledge Representation and Reasoning 20th EPIA Conference on Artificial Intelligence September,

[Logica-l] J. Michael Dunn (1941-2021)

obituary by Greg Restall: https://dailynous.com/2021/04/07/j-michael-dunn-1941-2021/ JM -- 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] ICTAC - 1 mês para o deadline

Prezados colegas, Segue o cfp para ICTAC'21. Lembro que há um award de EUR 1.000 para o melhor artigo, e que o ICTAC organiza um "special issue" em TCS. - Call for Papers ICTAC