Colegas: sobre a postagem abaixo, esequeci se informar os links:
International workshop "Logical Models of Reasoning and Computation" (February 01–03, 2012, Moscow, Steklov Mathematical Institute, Russia) http://www.mathnet.ru/php/conference.phtml?confid=280&option_lang=eng com vídeos para todas as apresentações. Gostaria de recomendar, para os que se interessam pelas LFIs ("Logics of Formal Inconsistency") a conferência da Anna Zamansky de Israel, "Modular construction of cut-free calculi for paraconsistent logics". http://www.mathnet.ru/php/presentation.phtml?option_lang=eng&presentid=4383 Anna, Avron e o grupo de Israel fazem algumas simpáticas críticas aos (nossos) cálculos hilbertianos para LFIs e sobre as "semânticas de traduções possíveis" para tentar vender o seu peixe, É interessante ver a Anna Zamansky sofrendo para responder às perguntas do Yuri Gurevich, do Nikolay Vereshchagin e do Max Kanovich que nós usualmente teríamos que responder...:-) Abs, Walter ----------------------------------------------- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l