Suggestions for frege
The following packages have something in common with the package frege. The packages are ordered in decreasing similarity.
- gene-logic: Typeset logic formulae, etc.
- logictools: Additional tools for typesetting formal logic
- begriff: Typeset Begriffschrift
- grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
- 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
- fodot: Helpful commands to work with the FODOT
- lkproof: LK Proof figure macros
- logicproof: Box proofs for propositional and predicate logic
- syllogism: Typeset syllogisms in LaTeX
- temporal-logic: Symbols for Temporal Logics
- principia: Notations for typesetting the “Principia Mathematica”
- synproof: Easy drawing of syntactic proofs
- eqnalign: Make eqnarray behave like align
- inkpaper: A mathematical paper template
- phfthm: Goodies for theorems and proofs
- bguq: Improved quantifier stroke for Begriffsschrift packages
- overrightarrow: Doubled “over” arrow
- boldtensors: Bold latin and greek characters through simple prefix characters
- oops: A framework for making definitions, typically mathematical, inline
- mismath: Miscellaneous mathematical macros
- complexpolylongdiv: Typesetting (complex) polynomial long division
- delimseasy: Delimiter commands that are easy to use and resize
- cascade: Constructions with braces to present mathematical demonstrations
- moremath: Additional commands for typesetting maths
- semtex: Deals with stripped SemanTeX documents
- semantex: Semantic, keyval-based mathematics
- sobolev: Commands for dealing with Sobolev spaces (and relatives)