for subject-specific typesetting involving logic notation.

learn more… | top users | synonyms

1
vote
1answer
37 views

Sequent calculus using prooftree

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?
3
votes
0answers
27 views

How can I type Genzen style deduction in LyX?

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 ...
1
vote
0answers
109 views

lplfitch package : Add line numbering on the left

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? ...