About: Intuitionistic logic

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

Various systems of symbolic logic

thumbnail
Property Value
dbo:description
  • logica dell'intuizionismo matematico e di altre forme di costruttivismo matematico (it)
  • felsefe akımı (tr)
  • logique formelle constructive (fr)
  • lógica simbólica que fundamenta intuicionismo (pt)
  • various systems of symbolic logic (en)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:label
  • Intuitionistic logic (en)
  • Intuicionistická logika (cs)
  • Intuitionismus (de)
  • Intuicia logiko (eo)
  • Lógica intuicionista (es)
  • Logique intuitionniste (fr)
  • Logica intuizionista (it)
  • 직관 논리 (ko)
  • 直観主義論理 (ja)
  • Logika intuicjonistyczna (pl)
  • Lógica intuicionista (pt)
  • Intuitionistisk logik (sv)
  • Интуиционистская логика (ru)
  • Інтуїціоністська логіка (uk)
  • 直觉主义逻辑 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:knownFor 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