O Departamento de Filosofia da UFRN, através da Base de Pesquisa "Lógica, Conhecimento e Ética", dá continuidade a sua programação anual dos Seminários de Lógica e Filosofia Formal, juntamente com o Grupo de Lógica, Linguagem, Informação, Teoria e Aplicações LoLITA, com a palestra:
Rota-Metropolis paraconsistent logic Prof. Dr. Daniele Mundici Department of Mathematics University of Florence Data:31/08/2012, às 16h. Local: UFRN, Setor II, sala B1 Abstract ''''''''''''''''''''' A classical result states that for all n>=5 the only two possible order structures arising from the faces of regular (convex) polyhedra in euclidean n-space are those obtained from the faces of the n-cube and the n-simplex under inclusion. While the n-simplex determines the boolean algebra with 2^n elements, Rota and Metropolis observed that the n-cube determines a three-valued counterpart of boolean logic. We will present cubic logic, with particular reference to its natural paraconsistency properties. G-C. Rota, N. Metropolis, Combinatorial structure of the faces of the n-cube, SIAM J. Applied Math., 35 (1978), pp. 689-694. _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
