Buscar
Mostrando ítems 1-10 de 28
Paraconsistencia e modalidadeParaconsistency and modality
([s.n.], 2009)
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 ...
Semantica algebrica de traduções possiveis
([s.n.], 2004)