Sort

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein syntaktisches Etikett oder eine Kategorie in vielfach-sortierten Logiken, das die Domäne in benannte Teilmengen aufteilt und einschränkt, welche Terme, Funktionssymbole und Prädikatsymbole auf welche Elemente der Domäne anwendbar sind.