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

Auth0 B2B Essentials: SSO, MFA, and RBAC Built In

Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.

Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.

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

Transform your content into engaging eLearning experiences with Coursebox, the #1 AI-powered eLearning authoring tool. Our platform automates the course creation process, allowing you to design a structured course in seconds. Simply make edits, add any missing elements, and your course is ready...

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
Emtrain

Help employees adapt to the real-world complexity of the 2026 workplace with online training they'll actually appreciate. All Emtrain courses have cinema-quality workplace video, interactive scenarios, skill building, reflection questions, completion certificates, and industry leading...

See Software
Park With Us

Managing your campground has never been this simple. Park With Us is the world’s most user-friendly campground management software, and it’s always free for you. ✅ Effortless Reservation Management – Our intuitive drag-and-drop interface makes handling short-term and seasonal bookings a...

See Software
TelemetryTV

TelemetryTV is a powerful digital signage platform built for the modern organization who needs to engage audiences, generate awareness, and give their teams and communities a voice. TelemetryTV allows users to broadcast dynamic content easily by streaming video, images, social feeds,...

See Software