Valuation Tables for Minimal and Intuitionistic Propositional Calculus

[Joao Marcos]

A Andrea implementou isto em tempos idos, e o filho dela, me parece,
reescreveu em Python:
http://www.paralogics.net/tableaux/minimal_intuitionism/

Alguém por acaso teria acesso ao código, antes que ele desapareça no
vórtex da Grande Rede?

Joao Marcos

[Valeria de Paiva]

oi Joao Marcos,

eu discuti um pouquinho isso com a Andrea, e me parece que o filho dela Marko Loparic 'e a pessoa com quem voce deve conversar! quando eu conversei  sobre isso com a Andrea,  ela me disse que tinha ensinado os teoremas do Kleene tantas vezes que sabia as provas de cor e eu  queria uma versao escrita dessas provas, pra ver diferencas e semelhancas e tentar identificar subestruturas  e a gente entao comecou a fazer. mas ela nao achou os documentos que queria na casa dela, refez uns tantos, mas pra mim eles nao eram exatamente o que eu queria (eu queria sequentes, nao axiomas ou valuations) e ai deixamos pra mais tarde, pois ela tinha coisas mais importantes pra fazer. Uma grande pena!

abracos

Valeria

--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhOu0KC2xuZVVet9Ak_ZN50%2BVytXESQfOe%3DsCGfquji2Q%40mail.gmail.com.