Search

Now showing items 11-20 of 58

Lógicas de inconsistência formal e não-monotonicidadeLogics of formal inconsistency and nonmonotonicity

Cholodovskis, Ana Flávia de Faria, 1988- ([s.n.], 2014)

Fibrilação de logicas na hierarquia de Leibniz

Fernández, Victor Leandro ([s.n.], 2005)

Conectivos de restauração localLocal restoration connectives

Corbalán, María Inés, 1978- ([s.n.], 2012)

Sistemas, pressuposições e implicaturas = uma investigação exploratória, lógica e filosóficaSystems, presuppositions and implicatures : an exploratory, logical and philosophical investigation

Oliveira, Antonio Marmo da Cunha, 1969- ([s.n.], 2011)

O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn

Castro, Milton Augustinis de ([s.n.], 1998)

Paraconsistencia e modalidadeParaconsistency and modality

Monte, Daniel Liberalino ([s.n.], 2009)

Sobre a dualidade entre intuicionismo e paraconssistencia

Queiroz, Giovanni da Silva de ([s.n.], 1998)

Sobre os fundamentos de programação lógica paraconsistenteOn the foundations of paraconsistent logic programming

Rodrigues, Tarcísio Genaro ([s.n.], 2010)

Para uma teoria de traduções entre logicas cumulativas

Scheer, Mauro Cesar ([s.n.], 2002)

Dedução natural rotulada para lógicas modais e multimodaisLabelled natural deduction for modal and multimodal logics

Almeida, Dante Cardoso Pinto de, 1984- ([s.n.], 2017)

1
2
3
4
5
. . .
6