Vorschläge für Syllogism

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

Package gene-logic: Typeset logic formulae, etc.
Package logicproof: Box proofs for propositional and predicate logic
Package fodot: Helpful commands to work with the FODOT
Package boolalg: Truth tables, step-by-step simplification, and algebraic proofs for Boolean
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 principia: Notations for typesetting the Principia Mathematica
Package temporal-logic: Symbols for Temporal Logics
Package turnstile: Typeset the (logic) turnstile notation
Package lkproof: LK Proof figure macros
Package synproof: Easy drawing of syntactic proofs
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 ptolemaicastronomy: Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals)
Package tikz-inet: Draw interaction nets with TikZ
Package prooftrees: Forest-based proof trees (symbolic logic)
Package egpeirce: Draw existential graphs invented by Charles S. Peirce
Package logic: A font for electronic logic design
Package bguq: Improved quantifier stroke for Begriffsschrift packages
Package was: A collection of small packages by Walter Schmidt
Package logix: Supplement to the Unicode math symbols
Package foilhtml: Interface between foiltex and LaTeX2HTML
Package mapcodes: Support for multiple character sets and encodings
Package ltxmisc: Miscellaneous LaTeX packages, etc.
Package calendar-barr: A calendar document
Package coursepaper: Prepare university course papers
Package concprog: Concert programmes