Tableaux, Tableaus, Tablôs, ...
Alguns links sobre o método dos tablôs (que
futuramente podem estar quebrados...):
1. Wikipedia
Analytic
tableau method na Wikipedia
Trecho:
Analytic tableaux, or, more briefly, just tableaux, are
a fundamental concept in automated theorem proving. The method
of analytic tableaux provides a fertile source of decision procedures, and semi-decision procedures,
for logics such as propositional logic, intuitionistic logic, first-order logic and modal
logic.
2. Capítulo do Livro "Lógica e
Aplicações"
O capitulo 4 (Outros Métodos de Prova) do livro Lógica
e Aplicações trata do
método de tablôs. Este
material consiste dos cinco primeiros capítulo de um livro (em
andamento) chamado "Lógica e
Aplicações: Matemática, Ciência da
Computação e Filosofia", escrito por Marcelo Coniglio, Walter
Carnielli e Ricardo
Bianconi.
De acordo com o livro, o método dos tablôs é um
método que baseia-se na análise ou
decomposição das fórmulas, em
contraposição ao método axiomático, que
é do tipo sintético.
3. Alguns livros não disponíveis na Internet
"First-Order Logic", Raymond Smullyan, Dover Publications, New York,
1968 (republicado em 1995). Leia crítica aqui.
"Handbook of Tableaux Methods", organizado por Marcello D'Agostino e
outros, Kluwer, 1999.
Leia uma crítica-resumo aqui
(em formato PostScript)
"Introdução à Lógica", de Cezar A. Mortari,
Editora UNESP, São Paulo, 2001.
4. Material disponível na Internet
Procure no Google, no Scholar do Google, no CiteSeer, ou em outro
site de busca por palavras como:
tableaux, analytic tableaux, semantic tableaux, KE method
Um lista de artigos sobre os tablôs KE, uma tipo interessante de
tablôs, está disponível aqui.
Um destes artigos, "The Taming of the Cut", está
disponível aqui.
Última
Atualização em 11/01/2006