Search

Now showing items 1-10 of 58

Semantica de sociedades para logicas n-valentes

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

N. A. Vasiliev e a logica não-classica

Fonte, Regina A. Munhoz da ([s.n.], 1983)

Logicas da inconsistencia deonticaLogics of Deontic inconsistency

Peron, Newton Marques, 1982 ([s.n.], 2009)

Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa

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

Crenças não ditas, ditos de crenças

Cunha, Denise Maria Maldonado da ([s.n.], 2003)

Sobre o metodo dos tableaux em logicas polivalentes finitarias

Carnielli, Walter Alexandre, 1952- ([s.n.], 1982)

Traduções conservativas

Feitosa, Hercules de Araujo ([s.n.], 1997)

Um estudo de C omega em calculo de sequentes e dedução natural

Moura, José Eduardo de Almeida ([s.n.], 2001)

Semanticas de traduções possiveis

Almeida, João Marcos de ([s.n.], 1999)

Valorações para alguns sistemas de logica do tempo

Mortari, Cezar Augusto ([s.n.], 1982)

1
2
3
4
. . .
6