Workshop - 50 years of the thesis of Newton da Costa EBL - Petropolis - Tuesday 8th, April 16:40-18:00
In 1963 Newton C.A. da Costa presented the thesis Sistemas Formais Inconsistentes (Inconsistent formal systems) at the Federal University of Paraná, Curitiba, Brazil. This work was a fundamental step in the development of paraconsistent logic. The participants of this workshop will talk about the import of da Costa's work and their relation with this central figure of logic in Brazil and in the World. An English version of this thesis will be published soon with introduction and comments by Itala D'Ottaviano in the book series Logic PhDs (College Publication, London) http://www.collegepublications.co.uk/lphd/ Organizer of the Workshop: Jean-Yves Beziau http://www.jyb-logic.org/ Federal University of Rio de Janeiro, Brazil Participants: Décio Krause http://www.cfh.ufsc.br/~dkrause/ Federal University of Santa Catarina, Brazil. Evandro Luís Gomes http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4753000P6 State University of Maringá, Brazil Itala Maria Loffredo D'Ottaviano http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4787513U6 State University of Campinas, Brazil João Marcos http://www.dimap.ufrn.br/~jmarcos/ Federal University of Rio Grande do Norte, Brazil. Walter Alexandre Carnielli http://www.cle.unicamp.br/prof/carnielli/ State University of Campinas, Brazil _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
