symbolic logic exploration

We have hosted the application symbolic logic exploration in order to run this application in our online workstations with Wine or directly.

Quick description about symbolic logic exploration:

Modernizing the sentential and predicate logic programs, Bertie and Twootie, by cleaning up the code, rewritting the code to conform to the standard Pascal defination, and developing a graphical user interface for both X and MS Windows.

Audience: Science/Research, Education, End Users/Desktop.
User interface: X Window System (X11), Win32 (MS Windows).
Programming Language: Pascal, Delphi/Kylix.
Categories: