New answers tagged logic
I strongly suggest you use the much better bussproofs.sty, not prooftree.sty. Check out this page at Latex for Logicians for a mini-illustration, a link to the package and to the short-but-useful Latex for Logicians documentation. Bussproofs is easy, and produces excellent output.
Top 50 recent answers are included