Deductions specifications

back to product page

What's new in version 1.3

  • added support for The Logic Book PD+ rule system
  • added support for Accessible Introduction ND+ rule system
  • added ability to export a deduction to a Text file
  • added ability to export a deduction to a LaTeX snippet

General

  • Publisher Wandering Mango
  • Publisher web site http://www.wanderingmango.com
  • Release date September 13, 2010
  • Date added September 13, 2010
  • Version 1.3

Category

System requirements

  • Operating systems Mac OS X 10.6, Mac OS X 10.5
  • Additional requirements Not available

Download information

  • File size 5.95MB
  • File name Deductions13.dmg

Popularity

  • Total Downloads 181
  • Downloads last week 1

Pricing

  • License model Free to try
  • Limitations Only the following deduction rules are available in the trial version: Premise, Assumption, Reiteration, Conjunction Introduction, Conjunction Elimination, Conditional Introduction, Conditional Elimination, Tilde Introduction, Tilde Elimination
  • Price $24.99
  • Recently Viewed Products
  • My Lists
  • My Software Updates
  • Promo
  • Log In | Join CNET