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
• turnstile: Typeset the (logic) turnstile notation
• fitch: LaTeX macros for Fitch-style natural deduction
• 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
• temporal-logic: Symbols for Temporal Logics
• upgreek: Upright Greek letters
• autobreak: Simple line breaking of long formulae
• eqnalign: Make eqnarray behave like align
• eqnarray: More generalised equation arrays with numbering
• thmtools: Extensions to theorem environments
• inkpaper: A mathematical paper template
• phfthm: Goodies for theorems and proofs
• abraces: Asymmetric over-/underbraces in maths
• bguq: Improved quantifier stroke for Begriffsschrift packages
• tikz-inet: Draw interaction nets with TikZ
• ptolemaicastronomy: Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals)
• nath: Natural mathematics notation
• delimseasy: Delimiter commands that are easy to use and resize
• bropd: Simplified brackets and differentials in LaTeX
• boldtensors: Bold latin and greek characters through simple prefix characters
• constants: Automatic numbering of constants
• conteq: Typeset multiline continued equalities
• commath: Mathematics typesetting support