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


Quick description about logiccalculus to run in windows online over linux online:

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.
.

Page navigation:

©2024. Winfy. All Rights Reserved.

By OD Group OU – Registry code: 1609791 -VAT number: EE102345621.