| Revista: | Kinesis (Marilia) |
| Base de datos: | CLASE |
| Número de sistema: | 000410660 |
| ISSN: | 1984-8900 |
| Autores: | Bertato, Fabio Maia1 |
| Instituciones: | 1Universidade Estadual de Campinas, Campinas, Sao Paulo. Brasil |
| Año: | 2013 |
| Periodo: | Nov |
| Volumen: | 5 |
| Número: | 10 |
| Paginación: | 1-18 |
| País: | Brasil |
| Idioma: | Portugués |
| Tipo de documento: | Artículo |
| Enfoque: | Analítico |
| Resumen en inglés | In this paper we consider the historical background and the possibilities of the method of the Polynomial Ring Calculus (PRC), studying some of its applicability to different logics and, in particular, the possible development of this algebraic system of proof applied to the First Order Logic |
| Resumen en portugués | 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 |
| Disciplinas: | Filosofía |
| Palabras clave: | Lógica, Doctrinas y corrientes filosóficas, Lenguajes formales, Polinomios, Algebra, Lógica clásica, Segundo orden, Axiomatización |
| Texto completo: | Texto completo (Ver PDF) |
