Release 0.04.03

The new release 0.04.03 introduces a new proof method: conditional proof. Based on the deduction theorem you can make an assumption and draw conclusions from it. We show the unfolding of formal logic from axioms and inference rules to propositions of propositional calculus with formal proofs within qedeq_formal_logic_v1. For background informations see under Vilnis Detlovs and Karlis Podnieks http://www.ltn.lv/~podnieks/mlog/ml.htm

Posted by Michael Meyling 2011-06-13

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks