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 ...
I wish to use ~ which has latex symbol: \sim for the negation sign in logic. \sim and \neg are the two most frequent symbols for negation in logic. However, I get a strange looking result if I use ...
I suppose I have a pretty simple question. I want to write down a logic inference system. A good example can be found on page 9 in this document: What environment would you advise me to use to get ...