About: Brouwer–Heyting–Kolmogorov interpretation

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Interpretation of intuitionistic logic

Property Value
dbo:description
  • interpretation of intuitionistic logic (en)
  • logická interpretace (cs)
  • teoria de lògica matemàtica (ca)
  • théorie en logique mathématique (fr)
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:id
  • BHK+interpretation (en)
dbp:title
  • BHK interpretation (en)
dbp:wikiPageUsesTemplate
dct:subject
rdfs:label
  • Brouwer–Heyting–Kolmogorov interpretation (en)
  • Brouwerova–Heytingova–Kolmogorovova interpretace (cs)
  • Brouwer-Heyting-Kolmogorow-Interpretation (de)
  • Interprétation de Brouwer-Heyting-Kolmogorov (fr)
  • Brouwer-Heyting-Kolmogorovinterpretatie (nl)
  • Interpretação de Brouwer–Heyting–Kolmogorov (pt)
  • BHK释义 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:knownFor 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