New posts in Logic

Need help with making Logic Trees in qtree/tikz-qtree (i.e. aligning, numbering lines)

Check equality between colors

latex symbol for "if and only if"

4 set venn diagram in TikZ

Writing Linear Temporal Logic in LaTeX

Multi-column spacing of many equation-like environments

How to get monospace logic formulas?

How to draw Venn diagrams (especially: complements) in LaTeX

What is the best package out there to typeset proof trees?

$\vdash (\lnot \chi \to \lnot \theta) \to (\theta \to \chi) $