Prezados: solicito me indiquem algum livro "básico", com o qual apresentar
sequentes e dedução natural a alunos de Matemática da graduação. Portanto,
seria bom que o livro, mesmo sendo básico, possua um formalismo mínimo. E
também (se for possível), que apresente algumas meta-demonstrações.
De
Lemmon?
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
www.cfh.ufsc.br/~dkrause
Em 28/08/2013, às 10:03, victor leandro fernandez escreveu:
> Prezados: solicito me indiquem algum livro "básico"
Acabou de ser lançado o novo numero de Logica Universalis:
Volume 7, Issue 3, September 2013
Special Issue Categorical Logic
Edited By Valeria de Paiva and Andrei Rodin
http://link.springer.com/journal/11787/7/3/page/1
Elements of Categorical Logic: Fifty Years Later
Valeria de Paiva, Andrei Rodi
Prezado Victor,
Eu gosto muito do livro:
@book{DBLP:books/daglib/0005072,
author= {Sara Negri and
Jan von Plato},
title = {Structural proof theory},
publisher = {Cambridge University Press},
year = {2001},
isbn = {978-0-521-79307-0},
pages = {I-XVI
Salve, Victor:
Você encontrará dedução natural, sequentes, tableaux e cálculos de Hilbert
no nosso material:
http://www.dimap.ufrn.br/%7Ejmarcos/courses/LC/Ementa.htm
Estamos trabalhando em uma versão brasileira deste material, a ser
publicada em breve. Comentários são bem-vindos!
JM
On Aug 28
