CTAN Comprehensive TeX Archive Network

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.
macros for Fitch-style natural deduction.
Typeset fregean Begriffsschrift.
Typeset Gottlob Frege's notation in plain .
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 Lua.
Forest-based proof trees (symbolic logic).
Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals).
Typeset syllogisms in .
Easy drawing of syntactic proofs.
Draw interaction nets with TikZ.
Automatically generate truth tables for given variables and statements.
Typeset the (logic) turnstile notation.
Guest Book Sitemap Contact Contact Author