Natural Deduction Planner download

This application aids in the creation of Natural Deduction style logical proofs. The style is that used in University of Auckland Philosophy courses.

Upon inputting a sequent, a proof can be completed within Natural Deduction Planner. The result can be exported to png, to text or to LaTeX macros.

Project Samples

Project Activity

See All Activity >

License

MIT License

Follow Natural Deduction Planner

Natural Deduction Planner Web Site

Other Useful Business Software

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Natural Deduction Planner!

Additional Project Details

Intended Audience

Education

User Interface

Java Swing

Programming Language

Java

Related Categories

Java Computer Aided Instruction (CAI) Software

Registered

2014-01-31

Similar Business Software

Odoo

Odoo is a fully integrated, customizable, open-source software packed with hundreds of expertly designed business applications. Odoo’s intuitive database is able to meet a majority of business needs, such as: CRM, Sales, Project, Manufacturing, Inventory, and Accounting, just to name a few. Odoo...

See Software
Coursebox AI

Coursebox is an AI course creator and LMS in one: the easiest way to create exceptional training. Turn a prompt or the documents you already have into a full course with quizzes, videos and scenarios in minutes. Coursebox works like a senior learning designer on your team. Give Coursebox your...

See Software
Mentornity

Mentornity is mentoring and coaching program software for organizations that run structured programs and need to show what came of them. It covers the full cycle: enrolment, matching, scheduling, session tracking, feedback and reporting. Each program runs under its own branding and its own...

See Software
TelemetryOS

TelemetryOS is a vertically integrated platform for connected screens, kiosks, and screen applications. Purpose-built Node hardware, a hardened Edge operating system, Studio cloud, an integrated video CDN, and an application runtime work together so every display can show the right content,...

See Software
Emtrain

Help employees adapt to the real-world complexity of the 2026 workplace with online training they'll actually appreciate. Engaging workplace video, interactive scenarios, sentiment questions, policy acknowledge, completion certificates. Content written by lawyers, content warrantied,...

See Software
Titan

Build the forms, portals, documents, eSignatures, surveys, and workflows your business needs while keeping Salesforce at the center of it all. Titan brings these experiences into a single Salesforce-first platform, with data connected to Salesforce in real time rather than creating another place...

See Software