Grupo de Lógica - dia 30/09

Olá para todos.

No próximo encontro do grupo de lógica, que terá início às 17h no local de sempre, veremos os seguintes tópicos do livro da Negri:

Teorema 2.5.6 - sequentes não-demonstráveis na lógica intuicionista (em G3ip) - p.43

Independência dos conectivos na lógica intuicionista - p. 45

A definição de trace formula - p. 51

Teorema 3.1.4 - equivalência entre C e a conjunção das trace formulas de C - p. 51

Os capítulos correspondentes já foram disponibilizados.

Abraços