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

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Try It 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

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
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
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. Engaging workplace video, interactive scenarios, sentiment questions, policy acknowledge, completion certificates. Content written by lawyers, content warrantied,...

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