CTAN Comprehensive TeX Archive Network


This topic contains packages for typesetting logician''s discussions.

Typeset Begriffschrift.
Improved quantifier stroke for Begriffsschrift packages.
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.
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.
Guest Book Sitemap Contact Contact Author