Suggestions for grundgesetze
The following packages have something in common with the package grundgesetze. The packages are ordered in decreasing similarity.
- begriff: Typeset Begriffschrift
- frege: Typeset fregean Begriffsschrift
- gene-logic: Typeset logic formulae, etc.
- logictools: Additional tools for typesetting formal logic
- fitch: LaTeX macros for Fitch-style natural deduction
- turnstile: Typeset the (logic) turnstile notation
- 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
- fodot: Helpful commands to work with the FODOT
- temporal-logic: Symbols for Temporal Logics
- synproof: Easy drawing of syntactic proofs
- principia: Notations for typesetting the “Principia Mathematica”
- eqnalign: Make eqnarray behave like align
- inkpaper: A mathematical paper template
- phfthm: Goodies for theorems and proofs
- bguq: Improved quantifier stroke for Begriffsschrift packages
- bropd: Simplified brackets and differentials in LaTeX
- constants: Automatic numbering of constants
- conteq: Typeset multiline continued equalities
- commath: Mathematics typesetting support
- delim: Simplify typesetting mathematical delimiters
- envmath: Maths commands and environments
- easyeqn: A simple package for writing equations
- functan: Macros for functional analysis and PDE theory
- flagderiv: Flag style derivation package
- galois: Typeset Galois connections
- hhtensor: Print vectors, matrices, and tensors