Lindenbaumova algebra (také Lindenbaum-Tarského algebra) je pojem z oblasti matematické logiky. Slouží k vyjádření struktury množiny formulí co se týče jejich dokazatelnosti v nějaké formální teorii.

PropertyValue
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Lindenbaumova algebra (také Lindenbaum-Tarského algebra) je pojem z oblasti matematické logiky. Slouží k vyjádření struktury množiny formulí co se týče jejich dokazatelnosti v nějaké formální teorii.
dbpedia-owl:wikiPageID
  • 151236 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 2040 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 15 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 9883966 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • Lindenbaumovy algebry
  • Lindenbaumova algebra
  • Lindenbaum-Tarského algebra
dcterms:subject
rdfs:comment
  • Lindenbaumova algebra (také Lindenbaum-Tarského algebra) je pojem z oblasti matematické logiky. Slouží k vyjádření struktury množiny formulí co se týče jejich dokazatelnosti v nějaké formální teorii.
rdfs:label
  • Lindenbaumova algebra
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of