Colegas:
encaminho aqui o excelente International workshop "Logical Models of
Reasoning and Computation"
(February 01–03, 2012, Moscow, Steklov Mathematical Institute, Russia)
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".
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: [email protected]
Website: http://www.cle.unicamp.br/prof/carnielli
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
