Logica



Babbage
Truth Tables
Boole
Multicolumn Truth Tables
Clarke
Logic Grids
Quine
Equivalence Editor
Stickel
Clausal Form Converter
Wegman
Unifier
Hilbert
Hilbert-style Proof Editor
Fitch
Fitch-style Proof Editor
Robinson
Resolution Proof Editor
Wos
Resolution + Paramodulation