Buscas alternativas:
deducao natural » selecao natural (Expandir a busca), radiacao natural (Expandir a busca)
deducao natural » selecao natural (Expandir a busca), radiacao natural (Expandir a busca)
1
Assuntos:
“...Sistemas de dedução natural...”
Sistemas esquemáticos de dedução natural: um estudo prova-teórico
Tese
2
3
4
Assuntos:
“...[pt] DEDUCAO NATURAL...”
[pt] COMPREENSÃO DE CONDICIONAIS A PARTIR DA PROXIMIDADE
Tese
5
Assuntos:
“...[pt] DEDUCAO NATURAL...”
[en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS
Tese
6
Assuntos:
“...Dedução natural...”
Uma investigação acerca das regras para a negação e o absurdo em dedução natural
Tese
7
Assuntos:
“...Sistema de dedução natural infinitário...”
Um sistema infinitário para a lógica de menor ponto fixo
Dissertação
8
Assuntos:
“...Dedução Natural...”
A combinatorial study of soundness and normalization in n-graphs
Dissertação
9
Assuntos:
“...Dedução natural...”
Identificando conhecimentos a partir da aplicação das regras de dedução natural na lógica proposicional, um estudo prático
Tese
10
11
Assuntos:
“...[pt] DEDUCAO NATURAL...”
[en] A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION
Tese
12
Assuntos:
“...[pt] DEDUCAO NATURAL...”
[pt] ALGUMAS RELAÇÕES ENTRE CÁLCULO DE SEQUENTES E DEDUÇÃO NATURAL
Tese
13
14
Assuntos:
“...Dedução natural...”
Da interpretação Bhk à teoria intuicionista dos tipos: a construção mental como conceito primitivo fundamental
Tese
15
Assuntos:
“...[pt] DEDUCAO NATURAL...”
[pt] ALGUNS RESULTADOS EM TEORIA DE PROVA BASEADO EM GRAFOS
Tese