for subject-specific typesetting involving logic notation.

learn more… | top users | synonyms

0
votes
0answers
71 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 ...