Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Many-sorted_logic> ?p ?o }
Showing triples 1 to 47 of
47
with 100 triples 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 ch01.pdf.
- Many-sorted_logic wikiPageExternalLink ~zarba.
- Many-sorted_logic wikiPageExternalLink notes.html.
- Many-sorted_logic wikiPageID "8169758".
- Many-sorted_logic wikiPageLength "8137".
- Many-sorted_logic wikiPageOutDegree "15".
- Many-sorted_logic wikiPageRevisionID "648220774".
- Many-sorted_logic wikiPageWikiLink Abstract_algebraic_logic.
- Many-sorted_logic wikiPageWikiLink Categorical_logic.
- Many-sorted_logic wikiPageWikiLink Category:Systems_of_formal_logic.
- Many-sorted_logic wikiPageWikiLink Christoph_Walther.
- Many-sorted_logic wikiPageWikiLink Domain_of_discourse.
- Many-sorted_logic wikiPageWikiLink First-order_logic.
- Many-sorted_logic wikiPageWikiLink Lexical_category.
- Many-sorted_logic wikiPageWikiLink Many-sorted_first-order_logic.
- Many-sorted_logic wikiPageWikiLink Overloading_(programming).
- Many-sorted_logic wikiPageWikiLink Parametric_polymorphism.
- Many-sorted_logic wikiPageWikiLink Part_of_speech.
- Many-sorted_logic wikiPageWikiLink Polymorphism_(computer_science).
- Many-sorted_logic wikiPageWikiLink Signature_(logic).
- Many-sorted_logic wikiPageWikiLink Structure_(mathematical_logic).
- Many-sorted_logic wikiPageWikiLink Template_(C++).
- Many-sorted_logic wikiPageWikiLink Typeful_programming.
- Many-sorted_logic wikiPageWikiLink Unification_(computer_science).
- Many-sorted_logic wikiPageWikiLinkText "Many-sorted logic".
- Many-sorted_logic wikiPageWikiLinkText "Order-sorted logic".
- Many-sorted_logic wikiPageWikiLinkText "many-sorted logic".
- Many-sorted_logic wikiPageWikiLinkText "many-sorted".
- Many-sorted_logic wikiPageWikiLinkText "sorts".
- Many-sorted_logic hasPhotoCollection Many-sorted_logic.
- Many-sorted_logic wikiPageUsesTemplate Template:Cite_journal.
- Many-sorted_logic wikiPageUsesTemplate Template:Portal.
- Many-sorted_logic wikiPageUsesTemplate Template:Reflist.
- Many-sorted_logic wikiPageUsesTemplate Template:Technical.
- Many-sorted_logic subject Category:Systems_of_formal_logic.
- 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 sameAs Sortenlogik.
- Many-sorted_logic sameAs Λογική_με_πολλούς_τύπους.
- Many-sorted_logic sameAs Lógica_polissortida.
- Many-sorted_logic sameAs m.026v2mg.
- Many-sorted_logic sameAs Q2303607.
- Many-sorted_logic sameAs Q2303607.
- Many-sorted_logic wasDerivedFrom Many-sorted_logic?oldid=648220774.
- Many-sorted_logic isPrimaryTopicOf Many-sorted_logic.