Logic
This topic contains packages for typesetting logician''s discussions.
Typeset Begriffschrift.
Improved quantifier stroke for Begriffsschrift packages.
Draw existential graphs invented by Charles S. Peirce.
LaTeX macros for Fitch-style natural deduction.
Typeset fregean Begriffsschrift.
Typeset Gottlob Frege's notation in plain TeX.
Typeset Frege’s Grundgesetze der Arithmetik.
LK Proof figure macros.
Box proofs for propositional and predicate logic.
Supplement to the Unicode math symbols.
Generate truth tables of boolean values in LuaLaTeX.
Forest-based proof trees (symbolic logic).
Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals).
Typeset syllogisms in LaTeX.
Easy drawing of syntactic proofs.
Symbols for Temporal Logics.
Draw interaction nets with TikZ.
Automatically generate truth tables for given variables and statements.
Typeset the (logic) turnstile notation.