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

Grafana: The open and composable observability platform

Faster answers, predictable costs, and no lock-in built by the team helping to make observability accessible to anyone.

Grafana is the open source analytics & monitoring solution for every database.

Learn More

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

Managing your campground has never been this simple. Park 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 breeze,...

See Software
DreamClass

Create your own DreamClass! DreamClass is a school management solution designed to cater to educational organizations of all types and sizes—be it a school, an academy, or a studio—enabling you to optimize your processes with robust features like: Program Management—Structure your...

See Software
Skillcast

The Skillcast Compliance Portal is a solution that enables organisations to deliver, track, and evidence compliance learning and related activities in a single platform. Designed for compliance, risk, and HR teams, it simplifies the management of e-learning, policies, disclosures, registers, and...

See Software