Prezados Colegas, No link latex-for-logicians, na seção "Natural Deduction Proofs with LaTeX, está faltando o que acho seja o melhor e mais elegante pacote para provas em dedução natural utilzando proof boxes ao invés de linhas verticais indentadas (como em fitch.sty)
http://www.paultaylor.eu/proofs/ All the Best! On Thu, Jun 21, 2012 at 7:18 PM, Joao Marcos <[email protected]> wrote: > ---------- Forwarded message ---------- > From: Peter Smith <[email protected]> > Date: Thu, Jun 21, 2012 at 10:39 PM > > > Many will know the LaTeX for Logicians web-pages. If you don't and are > a philosophical LaTeX user (and my impression is that numbers keep > increasing), you might want to check it out. > > This is just to announce that the pages have had a rather overdue > make-over, with some pages reorganized, internal and external links > checked, and some new content. Spread the word (especially to grad > students). > The pages have their own stable URL, http:\\www.latexforlogicians.net (use > this for links in future). > All suggestions for additions, improvements, and corrections will be > very gratefully received (you can post on-site comments). > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Alfio Martini PhD in Computer Science (TU Berlin) Associate Professor at Faculty of Informatics (PUCRS) Porto Alegre - RS - Brasil _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
