Oi (fregeanos da) lista, acabei de adaptar esse programa aqui,
http://angg.twu.net/dednat4.html pra ele produzir diagramas do Begriffsschrift... os primeiros exemplos estão aqui: http://angg.twu.net/dednat5/tests/testbegr.tex.html http://angg.twu.net/dednat5/tests/testbegr.pdf Se alguém estiver interessado em que isto fique bem-documentado, fácil de instalar, usável, etc, entre em contato! O que está aí é só um protótipo "to solicit feedback"... [[]], Eduardo Ochs eduardoo...@gmail.com http://angg.twu.net/ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
