diff options
Diffstat (limited to 'macros/latex/contrib/fitch/README.md')
-rw-r--r-- | macros/latex/contrib/fitch/README.md | 32 |
1 files changed, 24 insertions, 8 deletions
diff --git a/macros/latex/contrib/fitch/README.md b/macros/latex/contrib/fitch/README.md index 1208f4f2dd..7d7a1976d9 100644 --- a/macros/latex/contrib/fitch/README.md +++ b/macros/latex/contrib/fitch/README.md @@ -7,8 +7,10 @@ LaTeX macros for Fitch style natural deduction Fitch-style natural deduction is a system for writing proofs in propositional logic and predicate logic. This is a set of easy-to-use LaTeX macros originally written by Peter Selinger. It is used, e.g., -in the various versions of _forall x_ by PD Magnus (e.g., the [original](https://www.fecundity.com/logic/download.html), -[Cambridge](http://www.homepages.ucl.ac.uk/~uctytbu/OERs.html), and [Calgary](https://forallx.openlogicproject.org) versions) +in the various versions of _forall x_ by PD Magnus (e.g., the +[original](https://www.fecundity.com/logic/download.html), +[Cambridge](http://www.homepages.ucl.ac.uk/~uctytbu/OERs.html), and +[Calgary](https://forallx.openlogicproject.org) versions) With these macros, one can typeset natural deduction proofs in Fitch style, as in the following example: @@ -36,6 +38,14 @@ The output is shown above, and the corresponding LaTeX code below. ## Changes +**v1.0-beta, October 15, 2023** Adds `outerline` option; improves +`\by`; fixes spacing when using `tabular` + +**v1.0-alpha, Sept 30, 2023** This is an alpha release that adds key-value +options to the package and commands for customization. It is not fully +compatible with the 0.x versions (see documentation). Please report +any issues or suggestions. + **v0.6, Sept 4, 2023.** Updated the documentation and license (from GPL to LPPL). The code is essentially unchanged. @@ -51,12 +61,18 @@ The code is [maintained on Github](https://github.com/OpenLogicProject/fitch/). ## Related packages -- The [`lplfitch`](https://ctan.org/pkg/lplfitch) packages produces - Fitch-style roofs in the format used in Barwise & Etchemendy's textbook - _Language, Proof, and Logic_. -- The [`natded`](https://ctan.org/pkg/natded) package produces natural - deduction roofs in the style of Jaśkowski, or that of Kalish and - Montague. +- [`logicproof`](https://ctan.org/pkg/logicproof): natural deduction + with boxed subproofs in the style of Huth and Ryan's _Logic in + Computer Science_. +- [`lplfitch`](https://ctan.org/pkg/lplfitch): Fitch-style proofs in + the format used in Barwise & Etchemendy's textbook _Language, Proof, + and Logic_. +- [`natded`](https://ctan.org/pkg/natded): natural deduction proofs + in the style of Jaśkowski, or that of Kalish and Montague. +- [`synproof`](https://ctan.org/pkg/synproof): natural deduction + proofs in the style of Gamut's _Logic, + Language, and Meaning_. + Additional packages for proofs, including Johan Klüwer's, are available at a [page maintained by Alex Kocurek](https://www.actual.world/latex/) |