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]

Project Samples

SplashScreen at the start of LogicCalculus in Linux [1.1.1]

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow LogicCalculus

LogicCalculus Web Site

Other Useful Business Software

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Get Started Free

Rate This Project

User Reviews

Be the first to post a review of LogicCalculus!

Additional Project Details

Operating Systems

Linux, Windows

Languages

English

Intended Audience

Advanced End Users, by End-User Class, Education, End Users/Desktop, Science/Research

User Interface

Qt, Win32 (MS Windows), X Window System (X11)

Programming Language

C++

Database Environment

XML-based

Related Categories

C++ Data Visualization Software, C++ Mathematics Software, C++ Education Software

Registered

2011-11-05

Similar Business Software

Acuity Scheduling

Make online appointment scheduling and management a breeze with Acuity Scheduling. Acuity Scheduling is an easy to use online appointment scheduling software that helps professionals and businesses fill their schedule--minus all the hassle. With Acuity, clients see your real-time availability,...

See Software
Titan

Titan is the all-in-one, Salesforce-first platform for building customer-facing workflows directly on Salesforce. Create portals, forms, surveys, document generation, eSignatures, and contract processes that write back in real time, keeping Salesforce as your system of record. Titan AI turns...

See Software
Jotform

Trusted by over 25 million users, Jotform is an all-in-one, no-code platform that simplifies data collection, automation, and online sales. Using its drag-and-drop Form Builder, businesses can create customized forms and surveys to collect leads, payments, and e-signatures. With 10,000+...

See Software
Trumba

Trumba is an event calendar and registration platform for your website or intranet. Manage all your event data in one place and publish custom calendars for your end users. Trumba currently powers the event calendars for large organizations and small businesses worldwide. Features...

See Software
TradingView Stock Widgets

Grab powerful charts and add real-time quotes onto your site as quickly as it takes you to pour a morning coffee — just copy and paste our simple iFrame codes. TradingView widgets are easily customizable and will fit any UI, just choose your fighter: -Our pride and joy, Advanced Real-Time Chart...

See Software
Bookinglayer

Bookinglayer is an all-in-one booking management system built for retreat centers, boutique hotels, surf camps, wellness resorts, and others offering experiences alongside stays. Designed to increase average booking value, save time, and reduce errors, Bookinglayer helps you scale with ease....

See Software