Vorschläge für Gene-logic

Die folgenden Pakete haben etwas mit dem Paket Gene-logic gemeinsam. Die Pakete sind in absteigender Ähnlichkeit sortiert.

Package eqname: Name tags for equations
Package begriff: Typeset Begriffschrift
Package frege: Typeset fregean Begriffsschrift
Package grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
Package logictools: Additional tools for typesetting formal logic
Package productbox: Typeset a three-dimensional product box
Package pl: Literate Programming for Prolog with LaTeX
Package temporal-logic: Symbols for Temporal Logics
Package turnstile: Typeset the (logic) turnstile notation
Package fitch: LaTeX macros for Fitch-style natural deduction
Package luatruthtable: Generate truth tables of boolean values in LuaLaTeX
Package truthtable: Automatically generate truth tables for given variables and statements
Package gfnotation: Typeset Gottlob Frege’s notation in plain TeX
Package logicproof: Box proofs for propositional and predicate logic
Package syllogism: Typeset syllogisms in LaTeX
Package fodot: Helpful commands to work with the FODOT
Package boolalg: Truth tables, step-by-step simplification, and algebraic proofs for Boolean
Package principia: Notations for typesetting the Principia Mathematica
Package limap: Typeset maps and blocks according to the Information Mapping® method
Package crossword: Typeset crossword puzzles
Package lkproof: LK Proof figure macros
Package synproof: Easy drawing of syntactic proofs
Package eqnalign: Make eqnarray behave like align
Package phfthm: Goodies for theorems and proofs
Package inkpaper: A mathematical paper template
Package resmes: Measure restriction symbol in LaTeX
Package undertilde: Typeset a tilde under one (or many) maths symbols
Package bguq: Improved quantifier stroke for Begriffsschrift packages
Package ptolemaicastronomy: Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals)
Package tikz-inet: Draw interaction nets with TikZ
Package mhs: Historical mathematics