Many-sorted algebra

[hamming_burst]

Salve,
vorrei sapere se qualcuno può darmi la definizione o almeno spiegarmi cosa è una "algebra multisortale/eterogenea" o "many sorted algebra" a chi non piace l'italianizzazione

Non riesco a comprenderne il significato, cioè non trovo una "giusta" definizione.

Ho queste definizioni:
Avendo un'algebra $A$ (eterogenea).
ed una segnatura, come un sistema notazionale per individuare e confrontare algebre.

Una segnatura $\Sigma$ è determinata dalla somma digiunta di un insieme $S$ di sorte e di un insieme $O$ di operandi.

cosa sono queste "sorte"? (sì sto seguendo degli appunti italiani con termini inglesi snaturati)

Ora sapete dirmi cosa è che caratterizza questo tipo di "algebra"?

Ringrazio

[Rggb1]

Prova a partire da qui
http://en.wikipedia.org/wiki/Signature_ ... signatures
(ci sono anche dei riferimenti).

PS. Traduzione terribile.

[hamming_burst]

"Rggb":Prova a partire da qui
http://en.wikipedia.org/wiki/Signature_ ... signatures
(ci sono anche dei riferimenti).

ah grazie, mi ero perso quel pezzo, forse perchè ho cercato solo "many-sorted algebra"... me lo leggo

PS. Traduzione terribile.

non dirlo a me
ma non ho tante altre alternative...

EDIT per i posteri:

"sorta" può essere definito come "tipo", cioè un elemento preso da un insieme $S$ di tipi (almeno in semantica).