Suggestions for syllogism

The following packages have something in common with the package syllogism. The packages are ordered in decreasing similarity.

• logicproof: Box proofs for propositional and predicate logic
• lkproof: LK Proof figure macros
• fodot: Helpful commands to work with the FODOT
• temporal-logic: Symbols for Temporal Logics
• begriff: Typeset Begriffschrift
• frege: Typeset fregean Begriffsschrift
• grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
• synproof: Easy drawing of syntactic proofs
• principia: Notations for typesetting the “Principia Mathematica”
• gene-logic: Typeset logic formulae, etc.
• logictools: Additional tools for typesetting formal logic
• fitch: LaTeX macros for Fitch-style natural deduction
• turnstile: Typeset the (logic) turnstile notation
• 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
• tikz-inet: Draw interaction nets with TikZ
• ptolemaicastronomy: Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals)
• egpeirce: Draw existential graphs invented by Charles S. Peirce
• prooftrees: Forest-based proof trees (symbolic logic)
• logic: A font for electronic logic design
• bguq: Improved quantifier stroke for Begriffsschrift packages
• logix: Supplement to the Unicode math symbols
• was: A collection of small packages by Walter Schmidt
• texments: Using the Pygments highlighter in LaTeX
• sudoku: Create sudoku grids
• morehype: Hypertext tools for use with LaTeX
• brclc: Support 16-bit (double) calculations in LaTeX
• nicetext: Minimal markup for simple text (Wikipedia style) and documentation
• handout: Create handout for auditors of a talk
• sciposter: Make posters of ISO A3 size and larger