Suggestions for logicproof

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

Package gene-logic: Typeset logic formulae, etc.
Package syllogism: Typeset syllogisms in LaTeX
Package fodot: Helpful commands to work with the FODOT
Package temporal-logic: Symbols for Temporal Logics
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 synproof: Easy drawing of syntactic proofs
Package principia: Notations for typesetting the Principia Mathematica
Package fitch: LaTeX macros for Fitch-style natural deduction
Package turnstile: Typeset the (logic) turnstile notation
Package lkproof: LK Proof figure macros
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 egpeirce: Draw existential graphs invented by Charles S. Peirce
Package prooftrees: Forest-based proof trees (symbolic logic)
Package logic: A font for electronic logic design
Package bguq: Improved quantifier stroke for Begriffsschrift packages
Package logix: Supplement to the Unicode math symbols
Package was: A collection of small packages by Walter Schmidt
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
Package courseoutline: Prepare university course outlines