CTAN 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).
Di­a­grams of sphere mod­els for vari­ably strict con­di­tion­als (Lewis coun­ter­fac­tu­als).
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