1
2
Assuntos:
“...Lógica simbólica e matemática...”
A lógica de Brouwer e o príncipio ex falso quodlibet
Dissertação
3
4
Assuntos:
“...Matematização da lógica...”
Projetos de Matematização da Lógica : de Raimundo Lúlio a Giuseppe Peano
Dissertação
5
6
Assuntos:
“...Lógica simbólica e matemática...”
Um estudo de C omega em calculo de sequentes e dedução natural
Tese
7
Assuntos:
“...Lógica - Estudo e ensino...”
O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn
Dissertação
8
Assuntos:
“...Lógica...”
Atualizando Kant : avaliação da identidade entre a lógica transcendental e a lógica geométrica
Dissertação
9
10
11
Assuntos:
“...Linguagem e lógica...”
Especificação de sistemas utilizando lógica linear com subexponencias
Dissertação
12
Assuntos:
“...Lógica...”
Norma, ação e proposição : a lógica deôntica entre o dever-ser e o dever-fazer
Dissertação
13
14
Assuntos:
“...Indução (Lógica)...”
Três vezes não: um estudo sobre as negações clássica, paraconsistente e paracompleta
Tese
15
Assuntos:
“...Filosofia - Lógica...”
Pressupostos da lógica informal : do argumento à inferência
Dissertação
16
Assuntos:
“...Lógica modal...”
Definição inicial de um sistema de provas rotulado para lógicas do conhecimento
Dissertação
17
Assuntos:
“...Logica algebrica...”
Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos
Dissertação
18
Assuntos:
“...Lógica...”
Sobre quantificadores: uma formalização do quantificador 'quase sempre'
Dissertação
19
Assuntos:
“...Lógica...”
Sobre as lógicas linear, intuicionista e clássica e suas especificações
Dissertação
20
Assuntos:
“...Lógica difusa...”
Modelo para predição da ocorrência de alarmes de colamento de aço no molde utilizando lógica Fuzzy.
Dissertação