[FOM] LaTeX for logicians

[Peter Smith]

Not bang on topic, but something of interest (I hope) to a fair number of 
FOMers.

I am thinking about putting together a web-page LaTeX FOR LOGICIANS, 
listing LaTeX resources of particular use to logicians writing papers or 
books on logical topics. I have googled around and don't think I'm about to 
reinvent the wheel here -- but if I am, please do let me know before I put 
in too much time on this!

I know about

    proof.sty      [layout natural deduction trees, as in Prawitz etc.]
    bussproofs.sty [Another package for the same]
    fitch.sty      [for Fitch-style proofs, by Johan Klüwer]
    fitch.sty      [for Fitch-style proofs, by Peter Selinger]
    
I don't know about any package written specifically for downward branching 
proof trees, Jeffrey-style. But -- though I haven't yet experimented -- I 
guess that

    qtree.sty      [written for syntax trees]
    
could perhaps be recruited (anyone tried this?).

Josh Parsons has written

    begriff.sty    [for setting Begriffsschrift style expressions]
    
And that's about it. So I'd plan to list these, and in each case provide a 
PDF of sample outputs, comments on ease-of-use etc.

So I'd very much like to know about other such useful style files: only two 
of the above are on CTAN, and it could well be that there are others out 
there that I haven't successfully googled to. And if anyone has LaTeX 
tricks or tips, bits of coding that neatly solve this or that problem and 
which they'd like to share with other logicians (or perhaps already do on 
their own site), just let me know (ps218 at cam.ac.uk).

At this stage I'm very much open to suggestions; but I think we could have 
a small but useful resource here.

Cheers

Peter S.
-- 
Dr Peter Smith
Faculty of Philosophy, University of Cambridge
www.logicbook.net | www.godelbook.net