cs2053 Formal Logic Software

January, 2006 Edition Copyright Arnold Kochman. Other copyrights also apply, including but not limited to the GNU General Public License. This product includes a number of different packages. These are primarily source distributions for Linux/UNIX, and binary for Windows users. Some are relatively simple and some are quite complex. The packages fall broadly into three categories:

1. Applications for simplification and manipulation of logical systems symbolically.
2. Languages for logic programming
3. Libraries to facilitate programming in relation to formal logic systems.

You will need one of the commonly available unzip utilities, such as PKUNZIP or WinZip or tar, depending upon your system environment. In addition, packages contain documentation, including installation notes, at varying levels of thoroughness, which you will see when you expand the archives in which they are stored. Note that there are various archive formats, which generally are appropriate to the area of applicability of the contents.

More detailed information can be found at
http://www.geruva.com/products/cs2053.html