Many-sorted logic
Many-sorted logic can reflect formally our intention not to handle the universe as a homogeneous collection of objects, but to partition it in a way that is similar to types in typeful programming. Both functional and assertive "parts of speech" in the language of the logic reflect this typeful partitioning of the universe, even on the syntax level: substitution and argument passing can be done only accordingly, respecting the "sorts".
* a set of sorts, S
* an appropriate generalization of the notion of signature to be able to handle the additional information that comes with the sorts.
Many-sorted logic
Many-sorted logic can reflect formally our intention not to handle the universe as a homogeneous collection of objects, but to partition it in a way that is similar to types in typeful programming. Both functional and assertive "parts of speech" in the language of the logic reflect this typeful partitioning of the universe, even on the syntax level: substitution and argument passing can be done only accordingly, respecting the "sorts".
* a set of sorts, S
* an appropriate generalization of the notion of signature to be able to handle the additional information that comes with the sorts.
has abstract
A lógica polissortida pode ref ...... s dijuntos, um para cada tipo.
@pt
Many-sorted logic can reflect ...... t subsets, one for every sort.
@en
Sortenlogik ordnet jedem Term ...... chtlich, wie die Praxis zeigt.
@de
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
740,503,687
subject
comment
A lógica polissortida pode ref ...... s dijuntos, um para cada tipo.
@pt
Many-sorted logic can reflect ...... ion that comes with the sorts.
@en
Sortenlogik ordnet jedem Term ...... chtlich, wie die Praxis zeigt.
@de
label
Lógica polissortida
@pt
Many-sorted logic
@en
Sortenlogik
@de