On Monday 20 Jun 2011 18:57:22 Gabriel Dos Reis wrote: > If you want to support intuitionistic logic, you cannot simplify > double negation. See my comment in the definition of simplifyOneStep > in the package PropositionalFormulaFunctions1
Gaby, So is boolean.spad.pamphlet general enough to support intuitionistic logic? Martin ------------------------------------------------------------------------------ EditLive Enterprise is the world's most technically advanced content authoring tool. Experience the power of Track Changes, Inline Image Editing and ensure content is compliant with Accessibility Checking. http://p.sf.net/sfu/ephox-dev2dev _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
