Buscas alternativas:
logica matematica » fisica matematica (Expandir a busca)
matematica nao » matematica 2o (Expandir a busca), matematica _ (Expandir a busca)
classica » classical (Expandir a busca)
logica matematica » fisica matematica (Expandir a busca)
matematica nao » matematica 2o (Expandir a busca), matematica _ (Expandir a busca)
classica » classical (Expandir a busca)
1
Assuntos:
“...Lógica matemática não-clássica...”
Sobre o metodo dos tableaux em logicas polivalentes finitarias
Tese
2
Assuntos:
“...Lógica matemática não-clássica...”
Valorações para alguns sistemas de logica do tempo
Dissertação
3
4
Assuntos:
“...Lógica matemática não-clássica...”
Analise e sintese de sistemas a eventos discretos via logica modal
Tese
5
Assuntos:
“...Lógica matemática não-clássica...”
Para uma teoria de traduções entre logicas cumulativas
Dissertação
6
Assuntos:
“...Lógica matemática não clássica...”
A lógica de Brouwer e o príncipio ex falso quodlibet
Dissertação
7
Assuntos:
“...Lógica matemática não-clássica...”
O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn
Dissertação
8
Assuntos:
“...Lógica matemática não-clássica...”
Um estudo de C omega em calculo de sequentes e dedução natural
Tese
9
10
11
Assuntos:
“...Lógica matemática não-clássica...”
Logica modal aplicada a verificação de sistemas a eventos discretos
Dissertação
12
Assuntos:
“...Lógica matemática não-clássica...”
O continuum, os reais e o conceito de homogeneidade
Tese
13
Assuntos:
“...Lógica matemática não-clássica...”
Sobre a dualidade entre intuicionismo e paraconssistencia
Tese
14
Assuntos:
“...Lógica matemática não-clássica...”
Semantica de sociedades para logicas n-valentes
Dissertação
15
Assuntos:
“...Lógica matemática não-clássica...”
Entre o racional e o justo : a logica e as sentenças judiciais
Dissertação
16
Assuntos:
“...Lógica matemática não-clássica...”
Modalidades paraconsistentes como base para o tratamento de paradoxos epistêmico-doxásticos
Dissertação