Mostrando ítems 1-10 de 35
Sobre o calculo diferencial paraconsistente de da Costa
([s.n.], 2004)
Aplicação da lógica paraconsistente anotada evidencial Et em mercados financeiros
(Florianópolis, 2012)
Sobre a lógica da verdade pragmática em cálculo de sequentes
(Universidade Estadual Paulista (Unesp), 2021-02-26)
O objetivo central desta pesquisa é desenvolver um método dedutivo alternativo para a Lógica da Verdade Pragmática (Logic of Pragmatic Truth - LPT) em cálculo de sequentes. Neste sentido, apresentaremos inicialmente o ...