Heytingova algebra

Property	Value
dbpedia-owl:wikiPageID	1401663 (xsd:integer)
dbpedia-owl:wikiPageLength	478 (xsd:integer)
dbpedia-owl:wikiPageOutDegree	4 (xsd:integer)
dbpedia-owl:wikiPageRevisionID	16310583 (xsd:integer)
dbpedia-owl:wikiPageWikiLink	dbpedia-cs:Tertium_non_datur dbpedia-cs:Intuicionistická_logika dbpedia-cs:Modus_ponens category-cs:Logika
dbpedia-owl:wikiPageWikiLinkText	Heytingova algebra
dcterms:subject	category-cs:Logika
rdfs:label	Heytingova algebra
prov:wasDerivedFrom	wiki-cs:Heytingova_algebra?oldid=16310583
foaf:isPrimaryTopicOf	wiki-cs:Heytingova_algebra
is dbpedia-owl:wikiPageWikiLink of	dbpedia-cs:Intuicionistická_logika
is foaf:primaryTopic of	wiki-cs:Heytingova_algebra

About: Heytingova algebra