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

AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.

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

Wonders AI

Wonders is an AI-powered research workspace that helps individuals and teams move from scattered sources to structured insight. Designed for researchers, consultants, and knowledge-driven teams, Wonders combines multi-source search, visual organization, citation validation, and collaborative...

See Software
JabRef

JabRef was founded 2003 and has since been used by many students and researchers. Our mission is to advance knowledge and improve scientific research. We value open access to information and believe modern science can built on an open institutional structure. This is why we develop JabRef as...

See 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