Possible Duplicate:
What is the best package out there to typeset proof trees?
Is there some package to use in order to write nice natural deductions (logical deduction trees)?
Examples are appreciated!
Here are some examples of Natural deductions.
Asked
Active
Viewed 1.7k times
10
-
4Examples of what you would like to do are also appreciated. Can you provide a link or an image? Is this question relevant? – Matthew Leingang Jan 17 '11 at 15:07
-
7Please have a look at http://www.logicmatters.net/latex-for-logicians/nd/ – yannisl Jan 17 '11 at 15:13
-
2@Yiannis could you make your comment an answer? – Seamus Jan 17 '11 at 15:16
-
@Yiannis: Lazarides: That is exactly what I look for, thanks! – AD - Stop Putin - Jan 17 '11 at 15:23
-
@Matthew Leingang: Yes, that is the thing. Thanks. – AD - Stop Putin - Jan 17 '11 at 15:25
