CTAN Comprehensive TeX Archive Network

Logic

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.
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.
Guest Book Sitemap Contact Contact Author