2 publicações encontradas
Acervo
Pesquisa
2 resultados ·
Dissertação2022
CONSTRUINDO TABLEAUX PARA LÓGICA LINEAR INTUICIONISTA
O OBJETIVO DESTA DISSERTAÇÃO É CONSTRUIR UM TABLEAUX LINEAR INTUICIONISTA A PARTIR DE UM CÁLCULO DE SEQUENTES RELEVANTE CLÁSSICO. OS PASSOS PRINCIPAIS DESSA CONSTRUÇÃO SÃO: I) TRADUÇÃO DAS REGRAS DO CÁLCULO DOS SEQUENTES RELEVANTE CLÁSSICO PARA REGR…
Tese2001
TRADUÇÕES VIA TEORIA DA PROVA: APLICAÇÕES À LÓGICA LINEAR
O objetivo do nosso trabalho é explorar interessantes conexões entre diferentes procedimentos de normalização e traduções entre sistemas lógicos, dando especial ênfase ao caso da Lógica Linear. Mais especificamente, usando recursos da teoria da prov…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.