|Truth Table||Clausal Form||Unification||Transformation||Deduction||Resolution||Epilog|
Click one of the links above to start using Logica.
Click here for a note about syntax.
Click here to work with the class demonstration rules.
Click here to access Logica's XML-based proof library.
Note that, although the system is reasonably bug-free, it is not 100% guaranteed. Also, although it is usable and useful, there are many user interface improvements that could be made. (In particular, there is almost no error checking at this time.) We have had spent only a few days developing this version of Logica, but we are planning to develop it further in the future. Meanwhile, please try to be patient with the system's shortcomings, and let us know if you have any interesting suggestions for improvement. Thanks.