Colegas: como alguns de vocês certamente já sabem, tenho trabalhado num tema que considero apaixonante: tratar expressões lógicas (demonstar e valorar semanticament) por meio de polinômios formais sobre corpos finitos. Mostrei que isso pode ser feito com lógicas polivalentes finitárias em geral (incluindo a lógica clássica, obviamente), com lógicas paraconsistentes, e com o fragmetno monádico da lógica de primeira ordem. Recetnemente, com meu ex-estudante Juan Calos Agudelo, agora professor em Bogotá, Colômbia, mostramos que várias lógicas modais podem ser tratadas por meio de polinômnios, inclusive (por meio da conhecida tradução de Gödel) a lógica intuicionista.
O artigo "Semantics and Proof Method for Modalities" (Juan Carlos Agudelo e Walter Carnielli) vai sair no "The Review of Symbolic Logic", e já apareceu online: The Review of Symbolic Logic doi: 10.1017/S1755020310000213 Um pouco mais de informações estão no meu slow-blog: "Tools for Intelligence" http://toolsforintelligence.blogspot.com/ Como tenho preguiça de digitar e acho que a Internet já tem muita bobagem, adotei o estilo slow blogging: http://www.nytimes.com/2008/11/23/fashion/23slowblog.html 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 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
