Typesetting KM Calculus with LaTeX
- Last Updated on Friday, 21 September 2012 15:09
- Published on Saturday, 17 October 2009 16:05
KMcalc is a macro package for LaTeX, which facilitates typesetting of box diagrams in the natural deduction calculus à la Kalish & Montague. A detailed description of the calculus can be found in: Kalish, Donald; Montague, Richard; Mar, Gary: Logic - Techniques of Formal Reasoning. Second Edition. Harcourt Brace Jovanovich, Publishers, 1980.
Features of the package are the correct placement of annotations and automatic line numbering. User input is being processed line by line (not column-wise) with specific commands for different line types.The package supports continued lines as well as cross-referencing within the diagram with the ref command.
Click here to download the package (which is published under the lppl LaTeX Public Project Licence) and a how-to manual (a PDF reference document) from rforge.com.