1
Assuntos:
“...[en] INTUITIONISTIC LOGIC...”
[en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS
Tese
2
3
4
Assuntos:
“...[en] INTUITIONISTIC LOGIC...”
[pt] A LÓGICA SOBRE LEIS IALC: IMPLEMENTAÇÃO DE PROVAS DE CORREÇÃO E COMPLETUDE E PROPOSTA DE FORMALIZAÇÃO DA LEGISLAÇÃO BRASILEIRA
Tese
5
Assuntos:
“...[en] INTUITIONISTIC LOGIC...”
[en] LAW AND ORDER(ING): PROVIDING A NATURAL DEDUCTION SYSTEM AND NON-MONOTONIC REASONING TO AN INTUITIONISTIC DESCRIPTION LOGIC
Tese
6
7
Assuntos:
“...intuitionistic logic...”
Estados de equilíbrio na teoria quântica em topoi
Dissertação