A Refined Geometry of Logic

Abstract

A fim de medir o grau de dessemelhança entre elementos de uma álgebra booleana, o autor propôs em (1984) usar pseudométricas satisfazendo generalizações dos axiomas usuais para a identidade. A proposta é estendida, na medida em que é exequível, de álgebras booleanas (álgebras de proposições) para álgebras de Brouwer (álgebras de teorias dedutivas). A relação entre geometrias booleanas e de Brouwer da lógica resulta semelhante, de maneira curiosa, à relação entre geometrias euclidianas e não-euclidianas do espaço físico. O artigo conclui com uma breve consideração do problema da metrização da álgebra de teorias.