for subject-specific typesetting involving logic notation.

learn more… | top users | synonyms

0
votes
0answers
43 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? ...
0
votes
0answers
111 views

Tabular derivations with bussproofs

I am trying to typeset derivations in the CCG grammar formalism. These are just derivations as in type theory, but with words as the initial premises. I've tried to typeset them using the bussproof ...