Voltar para Dissertações
Dissertações

Polinomização de Lógicas: Problemas e Perspectivas

Pietro Kreitlon Carolino

Dissertação
Autor
Pietro Kreitlon Carolino
Orientador(a)
Walter Alexandre Carnielli
Universidade
UNIVERSIDADE ESTADUAL DE CAMPINAS — UNICAMP
Programa
FILOSOFIA
Grau
MESTRADO
Ano
2009
2009Pietro Kreitlon Carolino. Polinomização de Lógicas: Problemas e Perspectivas. 2009. Dissertação (MESTRADO em FILOSOFIA) — UNIVERSIDADE ESTADUAL DE CAMPINAS, SP. Orientador(a): Walter Alexandre Carnielli.2

Trata-se de uma investigação sobre a possibilidade da polinomização de lógicas, abrindo novas perspectivas e problemas. Dá-se um cálculo polinomial para diversas lógicas finitamente valoradas, e investiga-se limitações do método.