About: Many-sorted logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Hierarchical typed logic

Property	Value
dbo:description	hierarchical typed logic (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Sort_hierarchy.png?width=300
dbo:wikiPageExternalLink	https://web.archive.org/web/20070102043747/http:/react.cs.uni-sb.de/~zarba/ https://web.archive.org/web/20070608182648/http:/react.cs.uni-sb.de/~zarba/notes.html https://web.archive.org/web/20150220005037/http:/gdz.sub.uni-goettingen.de/index.php%3Fid=11&L=4&PPN=GDZPPN002289989&L=1%7C http://gdz.sub.uni-goettingen.de/index.php%3Fid=11&L=4&PPN=GDZPPN002289989&L=1%7C https://www.sfu.ca/~jeffpell/papers/SortalRestrQuant.pdf%7C http://archive.numdam.org/article/CM_1956-1958__13__277_0.pdf
dbo:wikiPageWikiLink	dbr:Parametric_polymorphism dbr:Signature_(logic) dbr:Type_system dbr:Template_(C++) dbr:Liskov_substitution_principle dbr:Categorical_logic dbr:Structure_(mathematical_logic) dbr:Abstract_algebraic_logic dbr:Christoph_Walther dbc:Systems_of_formal_logic dbr:Domain_of_discourse dbr:Lexical_category dbr:Partition_(number_theory) dbr:Homogeneous dbr:Order-sorted_unification dbr:File:Sort_hierarchy.png dbr:Many-sorted_first-order_logic dbr:Overloading_(programming)
dbp:wikiPageUsesTemplate	dbt:Portal dbt:Reflist dbt:Cite_journal dbt:Section_link dbt:Short_description
dct:subject	dbc:Systems_of_formal_logic
rdfs:label	Many-sorted logic (en) Λογική με πολλούς τύπους (el) Sortenlogik (de) Lógica polissortida (pt)
owl:sameAs	freebase:Many-sorted logic yago-res:Many-sorted logic wikidata:Many-sorted logic dbpedia-de:Many-sorted logic dbpedia-pt:Many-sorted logic dbpedia-el:Many-sorted logic dbpedia-global:Many-sorted logic
prov:wasDerivedFrom	wikipedia-en:Many-sorted_logic?oldid=1266339496&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Sort_hierarchy.png
foaf:isPrimaryTopicOf	wikipedia-en:Many-sorted_logic
is dbo:wikiPageDisambiguates of	dbr:Sort dbr:Sorted
is dbo:wikiPageRedirects of	dbr:Order-sorted_logic dbr:Many_sorted_logic dbr:Sortedness
is dbo:wikiPageWikiLink of	dbr:Gödel_(programming_language) dbr:Non-classical_logic dbr:Leon_Henkin dbr:Cylindric_algebra dbr:Term_(logic) dbr:Structure_(mathematical_logic) dbr:Sort dbr:SRI_International dbr:Higher-order_logic dbr:List_of_mathematical_logic_topics dbr:Second-order_arithmetic dbr:Algebraic_semantics_(computer_science) dbr:E_(theorem_prover) dbr:System_U dbr:Constructive_set_theory dbr:Sorted dbr:HiLog dbr:Extensions_of_First_Order_Logic dbr:Order-sorted_logic dbr:Many_sorted_logic dbr:Sortedness
is foaf:primaryTopic of	wikipedia-en:Many-sorted_logic