SOBRE O MÉTODO DE CÁLCULO COM ANEL DE POLINÔMIOS: ANTECEDETES HISTÓRICOS E POSSIBILIDADES DE PESQUISA

Abstract

Este artigo aborda os antecedentes históricos e as possibilidades do método de Cálculo com Anéis de Polinômios (PRC), por meio do estudo de sua aplicabilidade a diversas lógicas e, em particular, sobre o possível desenvolvimento deste sistema algébrico de prova aplicado à Lógica de Primeira Ordem.

Keywords

• Lógica
• Anéis de Polinômios
• Algebrização
• Lógicas Clássicas e Não- Clássicas.