Vorschläge für logic
Die folgenden Pakete haben etwas mit dem Paket logic gemeinsam. Die Pakete sind in absteigender Ähnlichkeit sortiert.
- bguq: Improved quantifier stroke for Begriffsschrift packages
- logix: Supplement to the Unicode math symbols
- loggates: A small font for logic gates, and LaTeX support
- circuit-macros: M4 macros for electric circuit diagrams
- emf: Support for the EMF symbol
- 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
- tikz-timing: Easy generation of timing diagrams as TikZ pictures
- pinoutikz: Draw chip pinouts with TikZ
- tikzquads: A few shapes designed to be used with CircuiTikZ
- circuitikz: Draw electrical networks with TikZ
- begriff: Typeset Begriffschrift
- frege: Typeset fregean Begriffsschrift
- gfnotation: Typeset Gottlob Frege's notation in plain TeX
- tikz-inet: Draw interaction nets with TikZ
- ptolemaicastronomy: Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals)
- turnstile: Typeset the (logic) turnstile notation
- grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
- synproof: Easy drawing of syntactic proofs
- truthtable: Automatically generate truth tables for given variables and statements
- luatruthtable: Generate truth tables of boolean values in LuaLaTeX
- fitch: LaTeX macros for Fitch-style natural deduction
- principia: Notations for typesetting the “Principia Mathematica”
- logictools: Additional tools for typesetting formal logic
- gene-logic: Typeset logic formulae, etc.
- temporal-logic: Symbols for Temporal Logics
- tikzdotncross: Marking coordinates and crossing paths
- egpeirce: Draw existential graphs invented by Charles S. Peirce
- prooftrees: Forest-based proof trees (symbolic logic)