About: Higher-order logic

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

Form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics

Property Value
dbo:description
  • forma de lógica de predicados que se distingue da lógica de primeira ordem por permitir a presença de quantificadores sobre predicados (pt)
  • Erweiterung der Prädikatenlogik erster Stufe (de)
  • logique formelle permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats (fr)
  • forma de lógica de predicados que se distingue de la lógica de primer orden por tener cuantificadores adicionales (es)
  • form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics (en)
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
rdfs:label
  • Higher-order logic (en)
  • نظرية النمط (ar)
  • Logika vyššího řádu (cs)
  • Teorie typů (cs)
  • Θεωρία τύπων (el)
  • Λογική ανώτερου βαθμού (el)
  • Teorio de tipoj (eo)
  • Logiko de supera ordo (eo)
  • Teoría de tipos (es)
  • Logik höherer Stufe (de)
  • Typentheorie (de)
  • Logique d'ordre supérieur (fr)
  • Théorie des types (fr)
  • Teoria dei tipi (it)
  • 型理論 (ja)
  • 高階述語論理 (ja)
  • 고차 논리 (ko)
  • 유형 이론 (ko)
  • Typetheorie (nl)
  • Teoria typów (pl)
  • Teoria dos tipos (pt)
  • Lógica de ordem superior (pt)
  • Логика высшего порядка (ru)
  • Теория типов (ru)
  • Теорія типів (uk)
  • 高阶逻辑 (zh)
  • 类型论 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International