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

nel_h2

Simply solve complex auth. Easy for devs to set up. Easy for non-devs to use.

Transform user access with Frontegg CIAM: login box, SSO, MFA, multi-tenancy, and 99.99% uptime.

Custom auth drains 25% of dev time and risks 62% more breaches, stalling enterprise deals. Frontegg platform delivers a simple login box, seamless authentication (SSO, MFA, passwordless), robust multi-tenancy, and a customizable Admin Portal. Integrate fast with the React SDK, meet compliance needs, and focus on innovation.

Start for 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

Docubee

Docubee is an intelligent contract automation platform that allows you to quickly and painlessly generate, manage, share, and sign contracts. Featuring powerful conditional logic-based workflows, generative AI technology, and an easily adaptable interface, Docubee makes it easy to automate your...

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
DbVisualizer

DbVisualizer is one of the world's most popular database editors. With almost 7 million downloads and Pro users in 150 countries worldwide, it won't disappoint you. Free and Pro versions are available. Developers, analysts, and DBAs use it to elevate their SQL experience with modern tools to...

See Software
Logically.app

Logically.app (formerly Afforai) is the AI-powered reference manager for modern researchers, helping researchers manage, annotate, cite papers and conduct literature reviews with AI reliably. Logically.app was built to assist every kind of researcher, whether you are a student, professor, or...

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