O método dos tableaux generalizado e sua aplicação ao raciocínio automático em lógicas não clássicas

##plugins.themes.bootstrap3.article.main##

Arthur Buchsbaum Tarcisio Pequeno

##plugins.themes.bootstrap3.article.details##

Como Citar
BUCHSBAUM, Arthur ; PEQUENO, Tarcisio. O método dos tableaux generalizado e sua aplicação ao raciocínio automático em lógicas não clássicas. O que nos faz pensar, [S.l.], v. 2, n. 03, p. 81-96, sep. 1990. ISSN 0104-6675. Disponível em: <http://www.oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/29>. Acesso em: 24 jan. 2022.
Seção
Artigos