[Maude-help] Integers greater than three sort (need help ...)

[Craig Ugoretz]

Hello,
  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,
 Craig Ugoretz
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.cs.uiuc.edu/mailman/private/maude-help/attachments/20051120/ac577cfd/attachment.html