Routledge logic website
Proof builder for Lemmon's logic @ Oxford Virtual Technology
Proof checker Just type your proof in verbatim, and click on "execute" to check it. Use "->" (a dash followed by an arrow) for the arrow; use "~" (tilde) for negation.