Maude-help mailing list

[Mandy Martin <tesleft AT hotmail.com>]

Hi ,

I  have defined  two kinds  of  plus  operation  from  3 valued  logic

and would like to simulate this algebra  in  Maude  and  then  try  in Hets tools, 

since 3 valued logic have  2  set of natural numbers, i use  alphabet instead of numbers to represent number,

then use double alphabet to represent this algebra , for example , 3 can be 3a, 3b,  if algebra  3*x, can be  3*aa,  3*bb

how to  define in  Maude script and  try this  simulated algebra ?

******Algebra 1*******

0+a=a

0+b=b

a+0=a

a+a=a

a+b=b

b+0=b

b+a=b

b+b=b

******Algebra 2*******

0+a=b

0+b=b

a+0=b

a+a=a

a+b=b

b+0=b

b+a=b

b+b=b

***Algebra 1

0,0=0 idempotent 1

0,1=1  commutative 1

0,2=2   commutative 2

1,0=1   commutative 1

1,1=1  idempotent 2

1,2=2   commutative 3

2,0=2   commutative 2

2,1=2   commutative 3

2,2=2  idempotent 3

****Algebra 2

0,0=0  idempotent 1

0,1=2  commutative 1

0,2=2  commutative 2

1,0=2  commutative 1

1,1=1   idempotent 2

1,2=2  commutative 3

2,0=2  commutative 2

2,1=2  commutative 3

2,2=2  idempotent 3

Regards,

Martin Lee