1
Assuntos:
“...Lógica simbólica e matemática...”
O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn
Dissertação
2
Assuntos:
“...Lógica simbólica e matemática...”
Um estudo de C omega em calculo de sequentes e dedução natural
Tese
3
4
Assuntos:
“...Lógica simbólica e matemática...”
Uma nova abordagem para a noção de quase-verdade
Tese
5
6
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
7
Assuntos:
“...Lógica simbólica e matemática...”
Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis
Dissertação
8
Assuntos:
“...Lógica simbólica e matemática...”
Multimodalidades anodicas e catodicas : a negação controlada em logicas multimodais e seu poder expressivo
Tese
9
Assuntos:
“...Lógica simbólica e matemática...”
Sobre os fundamentos de programação lógica paraconsistente
Dissertação