Estou voltando do congresso anual de lógica na Polonia http://ncl.uni.lodz.pl/index.html Este ano aconteceu na cidade de Lodz onde tem um dos maiores departamento de logica da polonia. (Na Polonia tem cerca de 10 departamentos de logica).
Este departamento foi dirijido durante muito anos por Grzegorz Malinowski, que visitou varias vezes o Brasil, especialisto de logica ploivalente: https://global.oup.com/academic/product/many-valued-logics- 9780198537878?cc=pt&lang=en& Neste livro ele apresenta a tesa do Suszko. Iniciamos a discussao a respeito disso num review essay que fizemos deste livro em Modern Logic http://projecteuclid.org/euclid.rml/1204835730 Hoje o departamento é dirijido por Andrzej Indrzejczak excelente especialisto de teoria da prova autor da entrada sobre deducao natural na IEP http://www.iep.utm.edu/nat-ded/ O evento este ano foi muito bom com participacao do PSH, Melving Fitting, Maria Manzano, Shankappanavar, etc Tinha participantes de cerca de 15 pais do mundo: Japão, Estados Unidos, Russia, Austria, França, Espanha ... O Fitting apresentou um trabalho bem interessante, sobre logicas quantificationias correspondantes as logicas normais, O ambiante era relaxado favoravel a discussao e contatos o banquet foi em particular bem agravadel. Foi organizada tambem uma visita ao cemiterio judaica de Lodz (um dos maiores do mundo com 250 000 tumulos) com um guio que nos contou toda a historia do Ghetto de Lodz https://en.wikipedia.org/wiki/%C5%81%C3%B3d%C5%BA_Ghetto Jean-Yves -- 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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLDGkga8mqec%3D8dcFtU3Uap3KT9fJw73BdAyZbrdXFfKyQ%40mail.gmail.com.
