Suggestions for LKproof
The following packages have something in common with the package LKproof. The packages are ordered in decreasing similarity.
- 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