Logo PUC-Rio Logo Maxwell
ETDs @PUC-Rio
Título: ON SOME RELATIONS BETWEEN NATURAL DEDUCTION AND SEQUENT CALCULUS
Autor(es): CECILIA REIS ENGLANDER LUSTOSA
Orientador (es) : EDWARD HERMANN HAEUSLER
Coorientador (es): GILLES DOWEK
Instituição: PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
Programa: GRADUATE PROGRAM IN COMPUTER SCIENCE
Área: COMPUTER THEORY
Banca: EDWARD HERMANN HAEUSLER - PUC-RIO
LUIZ CARLOS PINHEIRO DIAS PEREIRA - PUC-RIO
GILLES DOWEK - INRIA
WAGNER DE CAMPOS SANZ - UFG
JEAN BAPTISTE JOINET - UNIV-LYON3
GEIZA MARIA HAMAZAKI DA SILVA - UNIRIO
Vocabulário: FINITE-VALUED PROPOSITIONAL LOGIC
GENERAL COMPLETENESS PROOF
ISOMORPHISM
NATURAL DEDUCTION
PROOF THEORY
SEQUENT CALCULUS
Apresentação: 08/JUL/2014
Aceitação: 08/JUL/2014
Sistema de Biblioteca: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM
Número de Chamada: 004 L972o