YES

Problem:
 +(0(),y) -> y
 +(s(x),y) -> s(+(x,y))
 -(0(),y) -> 0()
 -(x,0()) -> x
 -(s(x),s(y)) -> -(x,y)

Proof:
 Matrix Interpretation Processor: dim=1
  
  interpretation:
   [-](x0, x1) = x0 + x1,
   
   [s](x0) = x0,
   
   [+](x0, x1) = x0 + x1,
   
   [0] = 3
  orientation:
   +(0(),y) = y + 3 >= y = y
   
   +(s(x),y) = x + y >= x + y = s(+(x,y))
   
   -(0(),y) = y + 3 >= 3 = 0()
   
   -(x,0()) = x + 3 >= x = x
   
   -(s(x),s(y)) = x + y >= x + y = -(x,y)
  problem:
   +(s(x),y) -> s(+(x,y))
   -(0(),y) -> 0()
   -(s(x),s(y)) -> -(x,y)
  Matrix Interpretation Processor: dim=1
   
   interpretation:
    [-](x0, x1) = x0 + 4x1,
    
    [s](x0) = x0 + 3,
    
    [+](x0, x1) = x0 + x1,
    
    [0] = 1
   orientation:
    +(s(x),y) = x + y + 3 >= x + y + 3 = s(+(x,y))
    
    -(0(),y) = 4y + 1 >= 1 = 0()
    
    -(s(x),s(y)) = x + 4y + 15 >= x + 4y = -(x,y)
   problem:
    +(s(x),y) -> s(+(x,y))
    -(0(),y) -> 0()
   Matrix Interpretation Processor: dim=3
    
    interpretation:
                   [1 0 0]     [1 0 0]     [1]
     [-](x0, x1) = [0 0 0]x0 + [0 0 0]x1 + [0]
                   [0 0 0]     [0 0 0]     [0],
     
               [1 0 0]     [0]
     [s](x0) = [0 1 0]x0 + [1]
               [0 0 0]     [0],
     
                   [1 1 0]     [1 0 0]     [0]
     [+](x0, x1) = [0 1 0]x0 + [0 0 0]x1 + [0]
                   [0 0 0]     [0 0 0]     [1],
     
           [0]
     [0] = [0]
           [0]
    orientation:
                 [1 1 0]    [1 0 0]    [1]    [1 1 0]    [1 0 0]    [0]            
     +(s(x),y) = [0 1 0]x + [0 0 0]y + [1] >= [0 1 0]x + [0 0 0]y + [1] = s(+(x,y))
                 [0 0 0]    [0 0 0]    [1]    [0 0 0]    [0 0 0]    [0]            
     
                [1 0 0]    [1]    [0]      
     -(0(),y) = [0 0 0]y + [0] >= [0] = 0()
                [0 0 0]    [0]    [0]      
    problem:
     
    Qed