Caros colegas: Para aquele que possam se interessar pelos efeitos da lógica paraconsistente nos fundamentos da matemática. (a partir de um "riassunto" da Teoria Paraconsistente de Conjuntos) , gostaria de sugerir um recentissimo artigo nosso (links livres) :
Paraconsistent set theory by predicating on consistency Walter Carnielli; Marcelo E. Coniglio Journal of Logic and Computation 2013; doi: 10.1093/logcom/ext020 Abstract: http://logcom.oxfordjournals.org/cgi/content/abstract/ext020? ijkey=KkzfyloKwr3NaYZ&keytype=ref PDF: http://logcom.oxfordjournals.org/cgi/reprint/ext020? ijkey=KkzfyloKwr3NaYZ&keytype=ref Comentários, criticas e disputas são bem -vindos. 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
