Workshop sobre Lógicas Não-Clássicas - UFRN Local: sala 3D5, UFRN Horário: 14:00-18:00
* * * Data: 22.04.2014 “A Natureza e os Usos da Probabilidade” Evelyn Erickson “Lógicas Paraconsistentes” Álvaro Luís dos Santos Gomes Ribeiro “Semânticas Não-Determinísticas” João Daniel Dantas “Lógicas com Negação Construtiva” Everton Tiago Alves de Oliveira * * * Data: 24.04.2014 “Lógica Linear” Kaline Negreiros “A lógica de quatro valores de Belnap, ou “como os computadores devem pensar”” Carolina Blasio “Relacionalidade e Lógicas de Epstein” Alberto Leopoldo Batista Neto * * * Mais detalhes em: http://tinyurl.com/LNC-2014 Todos estão convidados! Joao Marcos _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
