Paratriviality
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. Logica positiva : plenitude, potencialidade e problemas (do pensar sem negação)
This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive
Publicado em: 2004
-
2. Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação)
O trabalho estuda o papel da negação na logica, abordando os fragmentos positivos da logica proposicional, de forma a atender a dois problemas: a obtenção de teoremas de completude independentes da negação e o problema de paradoxos positivos, como o Paradoxo de Curry. Para o fragmento classico, estuda-se o metodo construtivo de completude proposto por
Publicado em: 2004