Encyclopedia > M > Many-sorted logic
Many-sorted logic
Many-sorted logic can reflect formally our intention, not to handle the universe as a homogenous collection of objects, but partitionate them 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” partitionating of the universe even on the syntax level: substitution, argument passing can be done only accordingly, respecting the “sorts”.
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)