Maude-help mailing list

[Craig Ugoretz <craigugoretz AT gmail.com>]

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