Suggestions for logictools
The following packages have something in common with the package logictools. The packages are ordered in decreasing similarity.
- begriff: Typeset Begriffschrift
- frege: Typeset fregean Begriffsschrift
- gene-logic: Typeset logic formulae, etc
- turnstile: Typeset the (logic) turnstile notation
- grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
- fitch: LaTeX macros for Fitch-style natural deduction
- temporal-logic: Symbols for Temporal Logics
- truthtable: Automatically generate truth tables for given variables and statements
- luatruthtable: Generate truth tables of boolean values in LuaLaTeX
- gfnotation: Typeset Gottlob Frege's notation in plain TeX
- logicproof: Box proofs for propositional and predicate logic
- lkproof: LK Proof figure macros
- syllogism: Typeset syllogisms in LaTeX
- synproof: Easy drawing of syntactic proofs
- principia: Notations for typesetting the “Principia Mathematica”
- semantex: Semantic, keyval-based mathematics
- ebproof: Formal proofs in the style of sequent calculus
- flexisym: Symbol manipulation for breqn
- semtex: Deals with stripped SemanTeX documents
- smart-eqn: Automatic math symbol styling for LaTeX documents
- numerica: Numerically evaluate mathematical expressions in LaTeX form
- longdivision: Typesets long division
- diffcoeff: Write differential coefficients easily and consistently
- derivative: Nice and easy derivatives
- moremath: Additional commands for typesetting maths
- numbersets: Display number sets with customizable typefaces
- cascade: Constructions with braces to present mathematical demonstrations
- linearregression: Calculate and display linear regressions
- rec-thy: Commands to typeset recursion theory papers
- create-theorem: Initializing and configuring theorem-like environments, with multilingual support
- keytheorems: An l3keys interface to amsthm