Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Many-sorted_logic> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- Many-sorted_logic abstract "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".There are more ways to formalize the intention mentioned above; a many-sorted logic is any package of information which fulfills it. In most cases, the following are given: 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.The domain of discourse of any structure of that signature is then fragmented into disjoint subsets, one for every sort.".
- Many-sorted_logic wikiPageExternalLink CM_1956-1958__13__277_0.pdf.
- Many-sorted_logic wikiPageExternalLink index.php?id=11&L=4&PPN=GDZPPN002289989&L=1.
- Many-sorted_logic wikiPageExternalLink ch01.pdf.
- Many-sorted_logic wikiPageExternalLink ~zarba.
- Many-sorted_logic wikiPageExternalLink notes.html.
- Many-sorted_logic wikiPageExternalLink SortalRestrQuant.pdf.
- Many-sorted_logic wikiPageID "8169758".
- Many-sorted_logic wikiPageRevisionID "592356431".
- Many-sorted_logic hasPhotoCollection Many-sorted_logic.
- Many-sorted_logic subject Category:Systems_of_formal_logic.
- Many-sorted_logic type Ability105616246.
- Many-sorted_logic type Abstraction100002137.
- Many-sorted_logic type Cognition100023271.
- Many-sorted_logic type Know-how105616786.
- Many-sorted_logic type Logic105664069.
- Many-sorted_logic type Method105660268.
- Many-sorted_logic type PsychologicalFeature100023100.
- Many-sorted_logic type System105661996.
- Many-sorted_logic type SystemsOfFormalLogic.
- Many-sorted_logic comment "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.".
- Many-sorted_logic label "Many-sorted logic".
- Many-sorted_logic label "Sortenlogik".
- Many-sorted_logic sameAs Sortenlogik.
- Many-sorted_logic sameAs Λογική_με_πολλούς_τύπους.
- Many-sorted_logic sameAs m.026v2mg.
- Many-sorted_logic sameAs Q2303607.
- Many-sorted_logic sameAs Q2303607.
- Many-sorted_logic sameAs Many-sorted_logic.
- Many-sorted_logic wasDerivedFrom Many-sorted_logic?oldid=592356431.
- Many-sorted_logic isPrimaryTopicOf Many-sorted_logic.