La lógica demostrativa es una lógica modal, en la que el operador caja (o "necesidad") es interpretado significando 'debe ser demostrado que'. El aspecto que se desea capturar es la noción de un predicado de demostración de una teoría formal razonablemente rica, tal como la aritmética de Peano. Existen varias lógicas demostrativas, algunas de las cuales están tratadas en la literatura en la sección de referencias. El sistema básico es generalmente llamado GL o L o K4W.

rdfs:comment
  • La lógica demostrativa es una lógica modal, en la que el operador caja (o "necesidad") es interpretado significando 'debe ser demostrado que'. El aspecto que se desea capturar es la noción de un predicado de demostración de una teoría formal razonablemente rica, tal como la aritmética de Peano. Existen varias lógicas demostrativas, algunas de las cuales están tratadas en la literatura en la sección de referencias. El sistema básico es generalmente llamado GL o L o K4W. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Lógica demostrativa (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 1251807 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 2292 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 14 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 68754958 (xsd:integer)
dbpedia-owl:wikiPageWikiLink [11 values]
Is dbpedia-owl:wikiPageWikiLink of