LaTeX for Logicians

These pages give 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.

  1. General info. Most of the information in LaTeX for Logicians 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 at this page. 
  2. Logic symbols. For lists of available logic and other symbols.
  3. Natural deduction proofs. Packages for laying out natural deduction and sequent proofs in Gentzen style, and natural deduction proofs in Fitch style.
  4. Tree/tableau proofs. Packages for downward-branching trees.
  5. Diagrams. How to set commutative diagrams for category theory, and other programs for diagram construction.
  6. Logicians’ miscellany. Links to a variety of other resources which could be particularly useful for logicians
  7. At the conference, in the classroom. This page gives links to resources which are especially useful for lectureroom and classroom use (in particular, packages for producing slides for data projectors, for constructing problem sheets, etc.).

All suggestions for relevant additions most welcome (email address on my ‘About’ page). Note: the LaTeX for Logicians part of this Logic Matters site has a stable url:

Leave a Reply

Your email address will not be published. Required fields are marked *