Material disponível e outros assuntos

Olá para todos.

No último encontro do grupo de lógica vimos como transformar provas em
dedução natural em provas em sistemas de Hilbert e vice-versa. Usamos
as apostilas abaixo
http://dl.dropbox.com/u/5959592/hilbert_prop.pdf
http://dl.dropbox.com/u/5959592/Hilbert_DN.pdf

Há também uma lista de exercícios no link
http://dl.dropbox.com/u/5959592/exercicios_H_DN.pdf

E no link
http://dl.dropbox.com/u/5959592/books/NEGRI_intro_1.pdf
está a introdução e o capítulo 1 da Negri e von Plato, From natural

deduction to sequent calculus.

Quem estiver com dúvidas e quiser fazer uma revisão sobre dedução
natural e sistemas axiomáticos podemos marcar um horário às 17h, antes
do grupo. Envie email para abilio.arf@gmail.com.
Mas o horário do grupo continua sendo 18h.

Abaixo, algumas leituras recomendadas para quem estiver interessado
nas motivações filosóficas e aspectos históricos das lógicas
intuicionista e minimal.

Um capítulo do livro da Maria da Paz, Traduções via teoria da Prova:
aplicações à lógica linear, 2002, EDUFRN
http://dl.dropbox.com/u/5959592/books/dapaz.pdf

Verbetes da Stanford sobre intuicionismo,
http://plato.stanford.edu/entries/logic-intuitionistic/
http://plato.stanford.edu/entries/intuitionistic-logic-development/
e teoria da prova
http://plato.stanford.edu/entries/proof-theory-development/

Vale a pena também ler o texto do Kolmogorov, On the principle of
excluded middle.  Está na coletânea do van Heijenoort, From Frege to
Gödel.

E abaixo
http://dl.dropbox.com/u/5959592/books/gentzen_logical_deduction.pdf
o texto do Gentzen, Investigations into logical deduction.

Abraços