1
Assuntos:
“...Lógica simbólica e matemática...”
O problema da compactificação em teoria de modelos : uma reinterpretação do teorema de ultraprodutos de Los
Tese
2
Assuntos:
“...Lógica simbólica e matemática...”
Verificação automática de lógicas finitas multivalentes
Tese
3
Assuntos:
“...Lógica simbólica e matemática...”
Fundamentos logico-epistemologicos da aritmetica
Tese
4
Assuntos:
“...Lógica simbólica e matemática...”
Algoritmo para agrupamento de descontinuidades em famílias baseado no Método Fuzzy K-Means.
Tese
5
6
7
Assuntos:
“...Lógica simbólica e matemática...”
Um estudo de C omega em calculo de sequentes e dedução natural
Tese
8
Assuntos:
“...Lógica simbólica e matemática...”
Três vezes não: um estudo sobre as negações clássica, paraconsistente e paracompleta
Tese
9
10
Assuntos:
“...Lógica simbólica e matemática...”
Uma abordagem modelo-teórica da computabilidade de Turing clássica
Tese
11
Assuntos:
“...Logica simbolica e matematica...”
A lógica no desenvolvimento da competência argumentativa
Tese
12
Assuntos:
“...Lógica simbólica e matemática...”
Uma nova abordagem para a noção de quase-verdade
Tese
13
Assuntos:
“...Lógica simbólica e matemática...”
Lógica e Informação : uma análise da consequência lógica a partir de uma perspectiva quantitativa da informação
Tese
14
Assuntos:
“...Lógica simbólica e matemática...”
Noções de localidade de lógicas baseadas em categorias modelo de Quillen sobre estruturas finitas : Quillen model categories-based notions of locality of logics over finite structu...
Tese
15
Assuntos:
“...Lógica simbólica e matemática...”
Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa
Tese
16
Assuntos:
“...Lógica simbólica e matemática...”
Incompletude e auto-organização : sobre a determinação de verdades logicas e matemáticas
Tese
17
Assuntos:
“...Lógica simbólica e matemática...”
Sobre o calculo diferencial paraconsistente de da Costa
Tese
18
Assuntos:
“...Lógica simbólica e matemática...”
Demonstrações na algibeira : polinômios como um método universal de prova
Tese
19
Assuntos:
“...Lógica simbólica e matemática...”
Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelos
Tese
20
Assuntos:
“...Lógica simbólica e matemática...”
Multimodalidades anodicas e catodicas : a negação controlada em logicas multimodais e seu poder expressivo
Tese