Journal: | Kinesis (Marilia) |
Database: | CLASE |
System number: | 000410660 |
ISSN: | 1984-8900 |
Authors: | Bertato, Fabio Maia1 |
Institutions: | 1Universidade Estadual de Campinas, Campinas, Sao Paulo. Brasil |
Year: | 2013 |
Season: | Nov |
Volumen: | 5 |
Number: | 10 |
Pages: | 1-18 |
Country: | Brasil |
Language: | Portugués |
Document type: | Artículo |
Approach: | Analítico |
English abstract | 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 |
Portuguese 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 |
Disciplines: | Filosofía |
Keyword: | Lógica, Doctrinas y corrientes filosóficas, Lenguajes formales, Polinomios, Algebra, Lógica clásica, Segundo orden, Axiomatización |
Full text: | Texto completo (Ver PDF) |