Algebra de relações : uma axiomatização tarskiana / Relation algebra : a tarskian axiomatization

AUTOR(ES)
DATA DE PUBLICAÇÃO

2008

RESUMO

In 1975, Alfred Tarski visited the Instituto de Matemática, Estatástica e Ciência da Computação (IMECC) at Unicamp, Brazil. In that ocasion, an event was organized to welcome him, the Simpósio de Lógica Matemática. Tarski s talking was about his axiomatization on the calculus of relations, which in that time was already known as Relation Algebra (RA). In Brazil, the formal theory of RA developed by Tarski was introduced to his audience in two lectures, which were taped and nowadays belongs to the historical files of Arquivos Hist´oricos do Centro de Lógica, Epistemologia e História da Ciência (CLE) at Unicamp. Our work aims to bring Tarski s conferences for public access through our transcription of them, and besides that, it is also our aim to analize Tarski s lectures and put it into the historical context of the development of RA, which origin goes back to some works of De Morgan, Peirce and Schröder. Our focus is on the content of the conferences, specially on the open problems left by Tarski and on the recent development of his theory

ASSUNTO(S)

representação (filosofia) representation (philosphy) logic algebra logica algebra

ACESSO AO ARTIGO

Documentos Relacionados