Tipo

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Una etiqueta sintáctica o categoría en lógicas de muchas-sorts que divide el dominio en subconjuntos nombrados y restringe qué términos, símbolos de función y símbolos de predicado se aplican a qué elementos del dominio.