Mehrsortiger Signaturen/Algebren

Sorte:(Name für einen ) Typ

mehrsortige Signatur zu Sorten S1,..., Sn:

eine Menge von Funktionssymbolen, zu jedem ein Tupel von Sorten (A1,..., Ak, R)

mehrsortige Algebra

für jede Sorte S eine Menge [S],

für jedes Funktionssymbol f eine Funktion [f] vom entsprechenden Typ.



Johannes Waldmann 2009-01-22