Alguns colegas podem ter interesse em conferir o material partilhado abaixo.
E por falar em Smullyan, meu breve tutorial sobre tableaux para lógicas não-clássicas, apresentado ontem no evento "PhDs in Logic IX", foi dedicado a ele: https://www.dropbox.com/s/rrsokk0rxa7lwmc/tableaux-tutorial.pdf?dl=0 Cumprimentos lógicos, Joao Marcos ---------- Forwarded message ---------- From: Melvin Fitting Date: Wed, May 3, 2017 at 1:16 AM A conference remembering Raymond Smullyan was held at the CUNY Graduate Center on April 27, 2017. The web site will remain up, at https://eva16968.wixsite.com/smullyanremembrance and material is still being added to it. Check it from time to time. The meeting was videoed and the video is available on my YouTube channel. It can be accessed through the conference site, or directly at my YouTube channel https://www.youtube.com/channel/UCaYn8I26NlSa71sreWnS-Bw In addition to the conference itself, there is a video from 2000 of Raymond playing the piano, and shortly there will be a video of him speaking and doing magic in Bucharest in 2008, and another of him reading from “Cold Mountain”, from 2016. Excerpts from these videos were used as part of my eulogy at the conference, the text of which is also available on the conference web site. Sincerely, Melvin Fitting -- 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/CAO6j_LizWZSOWMK3as_fMZjLwPfkeGW7PKOiJcWt-HEvXe2Y9w%40mail.gmail.com.
