Complete Heyting algebra

Property	Value
rdf:type	owl:NamedIndividual Algebraic structure Order theory topic
rdfs:label	Complete Heyting algebra
owl:sameAs	dbr:Complete_Heyting_algebra
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Glossary_of_order_theory http://en.wikipedia.org/wiki/List_of_order_theory_topics http://en.wikipedia.org/wiki/Category:Algebraic_structures
skos:prefLabel	Complete Heyting algebra
skos:altLabel	Locale frames logical Frame frame locales complete Heyting algebra frames and locales

About: clgr:Complete_Heyting_algebra