2 publicações encontradas
Acervo
Pesquisa
2 resultados ·
Tese2007
Cálculo de seqüentes de sucedente múltiplo para lógica intuicionista de primeira ordem
A primeira apresentação de um Cálculo de Seqüentes foi feita por Gerhard Gentzen na década de 1930. Neste tipo de sistema, a diferença entre as versões clássica e intuicionista radica na cardinalidade do sucedente. O sucedente múltiplo foi tradicion…
Dissertação2003
Aplicações da primeira prova de consistência apresentada por Gentzen para a artimetica de Peano
Na antologia que M.E. Szabo dos trabalhos de Gentzen e publicara em 1969 se transcrevem, em um apêndice, algumas passagens apresentadas por Bernays ao editor pertencentes a uma primeira prova de consistência para a Aritmética de Peano realizada por…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.