La lógica intuicionista, o lógica constructivista, es el sistema lógico originalmente desarrollado por Arend Heyting para proveer una base formal para el proyecto intuicionista de Brouwer. El sistema enfatiza las pruebas, en vez de la verdad, a lo largo de las transformaciones de las proposiciones. La lógica intuicionista rechaza el principio del tercero excluido, pero conserva el principio de explosión.

rdfs:comment
  • La lógica intuicionista, o lógica constructivista, es el sistema lógico originalmente desarrollado por Arend Heyting para proveer una base formal para el proyecto intuicionista de Brouwer. El sistema enfatiza las pruebas, en vez de la verdad, a lo largo de las transformaciones de las proposiciones. La lógica intuicionista rechaza el principio del tercero excluido, pero conserva el principio de explosión. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Lógica intuicionista (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageID
  • 1155700 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1000 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 9 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 64863041 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
Is dbpedia-owl:wikiPageWikiLink of [25 values]