Suggestions for gene-logic
The following packages have something in common with the package gene-logic. The packages are ordered in decreasing similarity.
- eqname: Name tags for equations
- begriff: Typeset Begriffschrift
- frege: Typeset fregean Begriffsschrift
- turnstile: Typeset the (logic) turnstile notation
- grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
- fitch: LaTeX macros for Fitch-style natural deduction
- pl: Literate Programming for Prolog with LaTeX
- productbox: Typeset a three-dimensional product box
- crossword: Typeset crossword puzzles
- 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
- limap: Typeset maps and blocks according to the Information Mapping® method
- 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