Caro/as Colegas Quero apontar que o seminário LUW de amanhã vai ser ao meio dia, horário de Brasília, devido ao fato que o hemisfério norte passou no horário de inverno Aproveito para enfatizar que o trabalho que vai ser apresentado amanhã é bem no espírito da lógica universal. Kaminski e Francez desenvolveram métodos gerais que se aplicam a milhares de sistemas de lógica multivalorada, para axiomatizar eles e também provar o teorema da corte. Tive a oportunidade de conhecer pessoalmente Nissim Fancez que mora em Nahariya, uma cidade no norte de Israel perto da fronteira com o Líbano. Durante a minha estadia em Israel no âmbito do projeto GeTFun promovido por João Marcos, fui com a Catherine visitar Nissim em Nahariya (ele trabalhava no Technion em Haifa, agora ele está aposentado). Junto com a mulher dele, eles nos convidaram para almoçar na cidade histórica de Acre que fica perto: https://pt.wikipedia.org/wiki/Acre_(Israel) Na sessão de amanhã, Liron Cohen, que eu conheci no evento em homenagem aos 60 anos de Arnon Avron em Tel Aviv em 2012, vai apresentar um panorama da lógica em Israel. Na seguinte foto ela está na extrema direita, Walter do lado. http://www.cs.tau.ac.il/events/AvronFest/ Estou na extrema esquerda, abaixo do Mike Dunn, entre Dov Gabbay a Anna Zamansky, que vai ser a chairwoman amanhã. Amanhã é o aniversário do Arnon Avron, completando 69 anos, a mulher dele convidou ele para viajar (destinação segreda), ele então não vai estar presente, JYB -------------------------------------------------------------------------------------------------------------------------- The next session of LUW (Logica Universalis Webinar) will take place this coming Wednesday, November 10, at 4pm CET
Title of the Talk: Calculi for Many-Valued Logics Authors:Michael Kaminski and Nissim Francez Abstract: We present a number of equivalent calculi for many-valued logics and prove soundness and strong completeness theorems. The calculi are obtained from the truth tables of the logic under consideration in a straightforward manner and there is a natural duality among these calculi. We also prove the cut elimination theorems for the sequent-like systems. https://link.springer.com/article/10.1007/s11787-021-00274-5 Associate Organization: Logic in Israel, presented by Liron Cohen https://in.bgu.ac.il/en/Pages/Liron-Cohen.aspx Chair:Anna Zamansky, Member of the Editorial Board of Studies in Universal Logic https://is-web.hevra.haifa.ac.il/index.php/en/dr-anna-zamansky To attend, register here: https://www.springer.com/journal/11787/updates/18988758 -- 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/CAF2zFLBzVj_qDyGngbQjt1xn88-ozyBeqnJZfw8vBbsP%3DihjHA%40mail.gmail.com.
