I am trying to write sequent calculus proofs using the prooftree package like the one on page 58 of this document. How can I do this?
As a philosophy major student, I'm learning how to use LyX. And I don't know how to type genzen style deduction on LyX. And Is there any good reference for LyX like Peter smith's for LaTeX ...
I am using the package lplfitch to typeset natural deduction proofs in Fitch style. I would like to number the lines on the left side of the vertical bar instead of on the left of the formula? ...