LaTeX for Logicians
18 April 2010: The initial port of L4L to this WordPress-driven site is now complete: there has been minor updating of content, and link-checking. A few links still lead out to pages on the old L4L site, so to get back here you’ll need to hit the “Back” button on your browser rather than follow links that will get you lost on the old site. This will be tidied over the coming days. All suggestions for corrections and additional links will be very gratefully received via peter_smith AT me.com.
This site gives a brief guide to resources of interest to logicians, philosophers and others using LaTeX to produce papers or presentations, teaching materials, theses or books, and perhaps wanting to include logical matter such as natural deduction proofs.
- General info. Most of the information in these pages is really intended for those who already have some familiarity with LaTeX. But if you are curious, or want a few pointers to sources of fairly introductory info, look here. There are also a few general LaTeX links of interest to the more expert.
- Logic symbols. For lists of available logic and other symbols.
- Natural deduction proofs. Packages for laying out natural deduction and sequent proofs in Gentzen style, and natural deduction proofs in Fitch style.
- Tree/tableau proofs. Packages for downward-branching trees.
- Diagrams. How to set commutative diagrams for category theory, and other programs for diagram construction.
- Logicians’ miscellany. Links to a variety of other resources which could be particularly useful for logicians
- In the classroom. This page gives links to resources which are especially useful for classroom use (in particular, packages for producing slides for data projectors, for constructing problem sheets, etc.).