Matches in SemOpenAlex for { <https://semopenalex.org/work/W200028449> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W200028449 abstract "In their technical report “On the bitopological nature of Stone duality” Jung and Moshier axiomatise a bitopological space as a d-frame, which can equivalently be described as a partial frame, a structure with two orders, one being a special Scott domain and the other a complete lattice. The rich interaction of these two orders arises from a ternary operation on distributive lattices and is informally known as the 90-degree-lemma. Motivation for considering a second order originates in Belnap’s four-valued logic. The infinitary connections of the two orders are based on a set of axioms which are derived from the Stone duality for bitopological spaces. In this paper it is shown that the axioms given by Jung and Moshier contain some previously unknown redundancies. The redundancies yield an isomorphism of two categories, one having special Scott domains as objects and the other a certain type of complete lattice." @default.
- W200028449 created "2016-06-24" @default.
- W200028449 creator A5085709979 @default.
- W200028449 date "2008-10-28" @default.
- W200028449 modified "2023-09-26" @default.
- W200028449 title "On the 90-degree-lemma" @default.
- W200028449 cites W1487409515 @default.
- W200028449 cites W2026094806 @default.
- W200028449 cites W2093397547 @default.
- W200028449 cites W2127989667 @default.
- W200028449 hasPublicationYear "2008" @default.
- W200028449 type Work @default.
- W200028449 sameAs 200028449 @default.
- W200028449 citedByCount "1" @default.
- W200028449 crossrefType "journal-article" @default.
- W200028449 hasAuthorship W200028449A5085709979 @default.
- W200028449 hasConcept C11821877 @default.
- W200028449 hasConcept C118615104 @default.
- W200028449 hasConcept C121332964 @default.
- W200028449 hasConcept C167729594 @default.
- W200028449 hasConcept C18903297 @default.
- W200028449 hasConcept C192606457 @default.
- W200028449 hasConcept C202444582 @default.
- W200028449 hasConcept C24890656 @default.
- W200028449 hasConcept C2524010 @default.
- W200028449 hasConcept C2777759810 @default.
- W200028449 hasConcept C2778023678 @default.
- W200028449 hasConcept C2781204021 @default.
- W200028449 hasConcept C33923547 @default.
- W200028449 hasConcept C40409056 @default.
- W200028449 hasConcept C46757340 @default.
- W200028449 hasConcept C86803240 @default.
- W200028449 hasConceptScore W200028449C11821877 @default.
- W200028449 hasConceptScore W200028449C118615104 @default.
- W200028449 hasConceptScore W200028449C121332964 @default.
- W200028449 hasConceptScore W200028449C167729594 @default.
- W200028449 hasConceptScore W200028449C18903297 @default.
- W200028449 hasConceptScore W200028449C192606457 @default.
- W200028449 hasConceptScore W200028449C202444582 @default.
- W200028449 hasConceptScore W200028449C24890656 @default.
- W200028449 hasConceptScore W200028449C2524010 @default.
- W200028449 hasConceptScore W200028449C2777759810 @default.
- W200028449 hasConceptScore W200028449C2778023678 @default.
- W200028449 hasConceptScore W200028449C2781204021 @default.
- W200028449 hasConceptScore W200028449C33923547 @default.
- W200028449 hasConceptScore W200028449C40409056 @default.
- W200028449 hasConceptScore W200028449C46757340 @default.
- W200028449 hasConceptScore W200028449C86803240 @default.
- W200028449 hasLocation W2000284491 @default.
- W200028449 hasOpenAccess W200028449 @default.
- W200028449 hasPrimaryLocation W2000284491 @default.
- W200028449 hasRelatedWork W110777012 @default.
- W200028449 hasRelatedWork W1490736403 @default.
- W200028449 hasRelatedWork W1559868033 @default.
- W200028449 hasRelatedWork W1602216158 @default.
- W200028449 hasRelatedWork W1659616924 @default.
- W200028449 hasRelatedWork W2024873396 @default.
- W200028449 hasRelatedWork W2055445944 @default.
- W200028449 hasRelatedWork W2165893511 @default.
- W200028449 hasRelatedWork W2169621444 @default.
- W200028449 hasRelatedWork W2295106381 @default.
- W200028449 hasRelatedWork W2301491978 @default.
- W200028449 hasRelatedWork W2318572191 @default.
- W200028449 hasRelatedWork W2494247423 @default.
- W200028449 hasRelatedWork W2616674828 @default.
- W200028449 hasRelatedWork W2951581929 @default.
- W200028449 hasRelatedWork W2963969921 @default.
- W200028449 hasRelatedWork W3088676502 @default.
- W200028449 hasRelatedWork W3198265274 @default.
- W200028449 hasRelatedWork W3206964407 @default.
- W200028449 hasRelatedWork W125964128 @default.
- W200028449 isParatext "false" @default.
- W200028449 isRetracted "false" @default.
- W200028449 magId "200028449" @default.
- W200028449 workType "article" @default.