Suggestions for logicproof
The following packages have something in common with the package logicproof. The packages are ordered in decreasing similarity.
- fodot: Helpful commands to work with the FODOT
- lkproof: LK Proof figure macros
- syllogism: Typeset syllogisms in LaTeX
- temporal-logic: Symbols for Temporal Logics
- gene-logic: Typeset logic formulae, etc.
- logictools: Additional tools for typesetting formal logic
- begriff: Typeset Begriffschrift
- frege: Typeset fregean Begriffsschrift
- grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
- principia: Notations for typesetting the “Principia Mathematica”
- synproof: Easy drawing of syntactic proofs
- fitch: LaTeX macros for Fitch-style natural deduction
- turnstile: Typeset the (logic) turnstile notation
- luatruthtable: Generate truth tables of boolean values in LuaLaTeX
- truthtable: Automatically generate truth tables for given variables and statements
- gfnotation: Typeset Gottlob Frege's notation in plain TeX
- ptolemaicastronomy: Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals)
- tikz-inet: Draw interaction nets with TikZ
- prooftrees: Forest-based proof trees (symbolic logic)
- egpeirce: Draw existential graphs invented by Charles S. Peirce
- logic: A font for electronic logic design
- bguq: Improved quantifier stroke for Begriffsschrift packages
- logix: Supplement to the Unicode math symbols
- was: A collection of small packages by Walter Schmidt
- foilhtml: Interface between foiltex and LaTeX2HTML
- mapcodes: Support for multiple character sets and encodings
- psnfssx: Extra styles and encodings for PostScript fonts
- bpchem: Typeset chemical names, formulae, etc.
- ltxmisc: Miscellaneous LaTeX packages, etc.
- papertex: Class for newspapers, etc.
- osa: Macros for Optical Society of America Journals, etc.