Maude-help mailing list

[Mandy Martin <tesleft AT hotmail.com>]

Hi ,

how about   a+0=b ?

 

current  code i write

fmod pex6 is

 sort Nat1 .

 sort Nat2 .

 ops 1a 2a 3a : -> Nat1

 ops 1b 2b 3b : -> Nat2

 ops _+_ : Nat1 Nat2 -> Nat2

endfm

Regards,

Martin  Lee

---

From: tesleft AT hotmail.com
To: maude-help AT cs.uiuc.edu
Subject: how to simulate this natural numbers system
Date: Wed, 10 Jun 2015 14:05:46 +0800

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