Recent posts to newshttps://sourceforge.net/p/pmii/news/2013-05-24T18:00:42ZNew Release 0.04.072013-05-24T18:00:42Z2013-05-24T18:00:42ZMichael Meylinghttps://sourceforge.net/u/m31/https://sourceforge.netd69089edd666f5b791a5b3cff34becb7765c9556<div class="markdown_content"><p>The new release 0.04.07 concentrates on stabilizing the processing structure. Increasing the test coverage and bug fixing were the other focus.</p></div>We couldn't wait to release 0.04.062013-04-10T20:54:12Z2013-04-10T20:54:12ZMichael Meylinghttps://sourceforge.net/u/m31/https://sourceforge.netf3d10a4df689bd5588ace0264eda2942cd600018<div class="markdown_content"><p>The road goes on to 0.04.06. Most visual change is the icon usage for QEDEQ module status display. We use gray for not yet worked on modules, purple for loaded modules, cyan for loaded all required modules, red orange for all well formed modules und yellow for all fully proved modules. Errors and warnings are visualized by decorator icons. Modules which are in progress are represented by animated icons.<br />
We did some tool updates (clover, findbugs). The main theme was the reorganization of process synchronization and process control. This work is not finished yet but nearly all module status changes are caused by (internal) plugins now. The process view shows more details and the chances for user interrupts were increased.</p></div>yeah! a new release: 0.04.052013-02-10T18:54:26Z2013-02-10T18:54:26ZMichael Meylinghttps://sourceforge.net/u/m31/https://sourceforge.netf9aff575d06895279888bbc737eb994f628b5e8e<div class="markdown_content"><p>we are back again and have formal proofs for some more propositions<br />
A -> (B -> (A & B)), ((A -> B) & (B -> C)) -> (A -> C), ((A -> C) & (B -> C)) -> ((A ∨ B) -> C), ((A & B) v C) -> ((A v C) & (B v C)), ((A ∨ C) & (B ∨ C)) -> ((A & B) ∨ C)<br />
Various test classes and tests were added. Some minor bugs were fixed and now we can search in text areas.</p></div>New Release 0.04.042011-07-30T13:04:40Z2011-07-30T13:04:40ZMichael Meylinghttps://sourceforge.net/u/m31/https://sourceforge.netbc76f4dacec425932de187b3165292eb8ffd2a4f<div class="markdown_content"><p>We have now a parser that can read a propositional calculus proof written in ASCII text format and transform it into a QEDEQ XML NODE element. It was quickly hacked together but enables us to speed up proof integration. It can be accessed via GUI menu entry "Tools / Proof Text to QEDEQ". A derivation rule has now a version too and name plus version must be unique (which is checked). We introduce a "brief" parameter for LaTeX and UTF-8 plugin to produce summary documents.<br />
And last but not least we included more propositions with formal proofs in <a href="http://www.qedeq.org/0_04_04/doc/math/qedeq_formal_logic_v1_en.pdf" rel="nofollow">http://www.qedeq.org/0_04_04/doc/math/qedeq_formal_logic_v1_en.pdf</a></p></div>Release 0.04.032011-06-13T22:54:02Z2011-06-13T22:54:02ZMichael Meylinghttps://sourceforge.net/u/m31/https://sourceforge.netd7f66087b718d51ea7343da622f66560de010734<div class="markdown_content"><p>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 <a href="http://www.ltn.lv/~podnieks/mlog/ml.htm" rel="nofollow">http://www.ltn.lv/~podnieks/mlog/ml.htm</a> </p></div>Walpurgis night gave us 0.04.022011-05-01T17:47:40Z2011-05-01T17:47:40ZMichael Meylinghttps://sourceforge.net/u/m31/https://sourceforge.netcb1f2a2433ceebd067836c154fa0f87cfff22da5<div class="markdown_content"><p>When we returned from the Blocksberg at Walpurgis night a small red mouse jumped out of our clothes. It ran in the direction of our mainframe computer and vanished. Later on we found a new software version at our CI server. We tested it and found a proof checker that can verify the integrity of simple formal proofs. Even a brute force proof finder for propositional logic was there. Because we didn't find any big flaws we made a new release. So now you can try out <a href="http://www.qedeq.org/0_04_02/" rel="nofollow">http://www.qedeq.org/0_04_02/</a> yourself. But be careful - one never knows what that small mouse has done exactly!</p></div>New Release 0.04.012011-03-05T01:49:15Z2011-03-05T01:49:15ZMichael Meylinghttps://sourceforge.net/u/m31/https://sourceforge.net866282491d1a0bbaa52887c67ba4f2f695fc4cf2<div class="markdown_content"><p>Finally the time has come for a new release. Now 0.04.01 is out. We can write down formal proofs at least. Soon we will catch up with the prototype!</p>
<p>We also have a short YouTube video for a first overview of the main application: <a href="http://www.youtube.com/watch?v=XXBOvfnZNuk" rel="nofollow">http://www.youtube.com/watch?v=XXBOvfnZNuk</a></p></div>Release 0.04.00 is out!2010-12-29T01:08:14Z2010-12-29T01:08:14ZMichael Meylinghttps://sourceforge.net/u/m31/https://sourceforge.netc574b9d3c0f69a11578251bc635e0d2a27b30489<div class="markdown_content"><p>We improved the plugin integration. And just to test this concept we wrote an UTF-8 converter. Now QEDEQ modules can be shown as UTF-8 texts. Further on we developed a model tester. It is fascinating to see which axioms and propositions also hold for finite models. <br />
We also found some typing errors in our set theory script in this context. Now the "four element model" is our approved model: {}, {{}}, {{}, {{}}} and {{{}}} are the four elements of our model.<br />
And by the way we integrated new icons and made the look and feel for the application a little bit configurable.<br />
Because the model tester costs some time we now have a process overview window. In this window all plugin processes and their status is shown. It is also possible to interrupt running processes. For the new plugins we have config dialogs. The plugin results (usually warnings) can be deleted completely. So we can keep an overview even if we change the model.</p></div>Present2010-12-21T00:11:36Z2010-12-21T00:11:36ZMichael Meylinghttps://sourceforge.net/u/m31/https://sourceforge.netb09fe9b3ae52185afe1d456d2fa6586001503c64<div class="markdown_content"><p>Christmas comes fast and we start the test of our release candidate for version 0.04.00. This candidate can handle the resolution of external predicate and function constants. This means testing, testing, testing! We want a new release under the Christmas tree! </p></div>Release 0.03.12 is out!2010-09-19T13:46:19Z2010-09-19T13:46:19ZMichael Meylinghttps://sourceforge.net/u/m31/https://sourceforge.net9d769bb9e712ce9984bde2fc09b95be70fc2323b<div class="markdown_content"><p>We now decided to release the new version 0.03.12. Not all the tests were done but it should be a quite stable release. Now a release comes in two main flavours: common and development. The development release contains also the software sources and metrics.<br />
See also <a href="http://www.qedeq.org/0_03_12" rel="nofollow">http://www.qedeq.org/0_03_12</a> for further details...</p></div>