Vorschläge für LKproof

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

• logicproof: Box proofs for propositional and predicate logic
• syllogism: Typeset syllogisms in LaTeX
• begriff: Typeset Begriffschrift
• frege: Typeset fregean Begriffsschrift
• gene-logic: Typeset logic formulae, etc
• turnstile: Typeset the (logic) turnstile notation
• grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
• synproof: Easy drawing of syntactic proofs
• fitch: LaTeX macros for Fitch-style natural deduction
• 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
• upgreek: Upright Greek letters
• url: Verbatim with URL-sensitive line breaks
• texments: Using the Pygments highlighter in LaTeX
• nath: Natural mathematics notation
• prosper: LaTeX class for high quality slides
• subfloat: Sub-numbering for figures and tables
• alnumsec: Alphanumeric section numbering
• docmute: Input files ignoring LaTeX preamble, etc
• sudoku: Create sudoku grids
• morehype: Hypertext tools for use with LaTeX
• brclc: Support 16-bit (double) calculations in LaTeX