Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

Home

Ömercan

Welcome to the LogicCalculus Project

LogicCalculus is a IDE for the sentential logic and the predicate logic.
You can write your own expressions down and validate them with the integrated truth table.

Screenshots

Screenshot thumbnail
The GUI of LogicCalculus [1.0]
Screenshot thumbnail
A more complicated term [1.0]
Screenshot thumbnail
Very simple term with changed GUI [1.0]
Screenshot thumbnail
Start screen of LogicCalculus [1.1]
Screenshot thumbnail
SplashScreen at the start of LogicCalculus in Linux [1.1.1]
 

Developers

Project Admins:

Downloads