No mention of Algebraic Semiotics on the ncatlab wiki, which is sort of the standard venue for these things. There is an article on Goguen but it is short and does not really discuss this work.

The categorical structure seems simple enough that it has probably been described already under some other name, though.