Comprehensive TeX Archive Network


This topic con­tains pack­ages for type­set­ting lo­gi­cian''s dis­cus­sions.

Type­set Be­griff­schrift
Im­proved quan­ti­fier stroke for Be­griff­ss­chrift pack­ages
Type­set fregean Be­griff­ss­chrift
Type­set Got­t­lob Frege's no­ta­tion in plain
Type­set Frege‚Äôs Grundge­setze der Arith­metik
LK Proof fig­ure macros
Box proofs for propo­si­tional and pred­i­cate logic
For­est-based proof trees (sym­bolic logic)
Type­set syl­lo­gisms in
Easy draw­ing of syn­tac­tic proofs
Draw in­ter­ac­tion nets with TikZ
Guest Book Sitemap Contact Contact Author