[Maude-help] Integers greater than three sort (need help ...)
craigugoretz at gmail.com
Sun Nov 20 20:27:49 CST 2005
I have decided to use Maude to implement a mathematical software project
involving a new form of logic (named neutrosopic logic). I am beginning to
develop experiments to better understand the function of Maude "constructs".
Right now I am trying to understand how subsorts work, and to do this, I
have been trying to develop an "integers greater than three" sort using the
"mb" construct. I have tried many ideas, but have not found success.
Subsorts seem to be a crucial concept to learn in order to program in Maude,
so I would appreciate a small sample program to successfully demonstrate my
first experiemental objective. By the way, I plan to experiment with all the
concepts in the Maude manual, so a general pledge of support would also be
appreciated. Also, if anyone cares to learn more about my project idea, I
would be most willing to share that information.
Thank you very much,
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Maude-help