Oi João, Gostei muito do seu material sobre Tableaux p/ LNC.
Abraço, Mario 2017-05-04 13:06 GMT-03:00 Joao Marcos <[email protected]>: > 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. > -- Federal University of Rio de Janeiro www.cos.ufrj.br/~mario -- 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/CAA6BQpVnoy35D35Qca%3Dn6S82pENTm0pgcBzJd0WUhsjNcCaB2Q%40mail.gmail.com.
