logiccalculus

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

Quick description about logiccalculus:

LogicCalculus is a logic IDE for the sentential logic and the predicate logic. Currently it can evaluate expressions and fill a truth table.

Features:

• Sentential logic [Done]
• Predicate logic [Planned]
• Truth Table [Done]
• Own Junktors [Planned]
• Quantors [Planned]

Audience: Science/Research, Education, Advanced End Users, by End-User Class, End Users/Desktop.
User interface: X Window System (X11), Win32 (MS Windows), Qt.
Programming Language: C++.
Database Environment: XML-based.

Categories: