[en] SOME RESULTS IN A PROOF-THEORY BASED ON GRAPHS

[en] SOME RESULTS IN A PROOF-THEORY BASED ON GRAPHS

[pt] A teoria da prova tradicional da lógica proposicional trata provas cujos tamanhos podem ser demasiado grandes. Estudos teóricos de prova descobriram diferenças exponenciais entre provas normais ou livres de corte e suas respectivas provas não-normais. Assim, o uso de grafos-de-prova, ao invés d...

Full description

Bibliographic Details
Main Author: MARCELA QUISPE CRUZ
Other Authors: EDWARD HERMANN HAEUSLER
Language:en
Published: MAXWELL 2017
Subjects:
[pt] TEORIA DA PROVA
[en] PROOF THEORY
[pt] DEDUCAO NATURAL
[en] NATURAL DEDUCTION
[pt] COMPLEXIDADE DE PROVAS
[en] PROOF COMPLEXITY
[pt] GRAFOS DE PROVA
[pt] NORMALIZACAO FORTE
[pt] LOGICA CLASSICA
[pt] LOGICA MINIMAL IMPLICACIONAL
[pt] INFERENCIA PROFUNDA
[pt] LOGICA BI-INTUICIONISTA
Online Access:https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=28745@1
https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=28745@2
http://doi.org/10.17771/PUCRio.acad.28745

Internet

https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=28745@1
https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=28745@2
http://doi.org/10.17771/PUCRio.acad.28745

Similar Items