Matches in SemOpenAlex for { <https://semopenalex.org/work/W3211118088> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W3211118088 abstract "Abstract We revisit the problem of Stone duality for lattices with quasioperators, presenting a fresh duality result. The new result is an improvement over that of our previous work in two important respects. First, the axiomatization of frames is now simplified, partly by incorporating Gehrke’s proposal of section stability for relations. Second, morphisms are redefined so as to preserve Galois stable (and co-stable) sets and we rely for this, partly again, on Goldblatt’s recently proposed definition of bounded morphisms for polarities. In studying the dual algebraic structures associated to polarities with relations we demonstrate that stable/co-stable set operators result as the Galois closure of the restriction of classical (though sorted) image operators generated by the frame relations to Galois stable/co-stable sets. This provides a proof, at the representation level, that non-distributive logics can be regarded as fragments of sorted residuated (poly)modal logics, a research direction recently initiated by this author." @default.
- W3211118088 created "2021-11-08" @default.
- W3211118088 creator A5069919176 @default.
- W3211118088 date "2023-01-29" @default.
- W3211118088 modified "2023-10-18" @default.
- W3211118088 title "Duality for normal lattice expansions and sorted residuated frames with relations" @default.
- W3211118088 cites W1519705629 @default.
- W3211118088 cites W1581138540 @default.
- W3211118088 cites W1992205482 @default.
- W3211118088 cites W2010047839 @default.
- W3211118088 cites W2010955104 @default.
- W3211118088 cites W2011700761 @default.
- W3211118088 cites W2018202519 @default.
- W3211118088 cites W2028286472 @default.
- W3211118088 cites W2047178405 @default.
- W3211118088 cites W2047459889 @default.
- W3211118088 cites W2048522539 @default.
- W3211118088 cites W2065137642 @default.
- W3211118088 cites W2065613054 @default.
- W3211118088 cites W2087899517 @default.
- W3211118088 cites W2104491215 @default.
- W3211118088 cites W2140351059 @default.
- W3211118088 cites W2220881559 @default.
- W3211118088 cites W2315064349 @default.
- W3211118088 cites W2593646838 @default.
- W3211118088 cites W2800290092 @default.
- W3211118088 cites W2902940308 @default.
- W3211118088 cites W2911310556 @default.
- W3211118088 cites W2935507062 @default.
- W3211118088 cites W2998962033 @default.
- W3211118088 cites W344132161 @default.
- W3211118088 cites W4244885599 @default.
- W3211118088 cites W4255318870 @default.
- W3211118088 doi "https://doi.org/10.1007/s00012-023-00802-y" @default.
- W3211118088 hasPublicationYear "2023" @default.
- W3211118088 type Work @default.
- W3211118088 sameAs 3211118088 @default.
- W3211118088 citedByCount "0" @default.
- W3211118088 crossrefType "journal-article" @default.
- W3211118088 hasAuthorship W3211118088A5069919176 @default.
- W3211118088 hasBestOaLocation W32111180881 @default.
- W3211118088 hasConcept C11821877 @default.
- W3211118088 hasConcept C118615104 @default.
- W3211118088 hasConcept C121332964 @default.
- W3211118088 hasConcept C134306372 @default.
- W3211118088 hasConcept C136119220 @default.
- W3211118088 hasConcept C137212723 @default.
- W3211118088 hasConcept C160771489 @default.
- W3211118088 hasConcept C164953516 @default.
- W3211118088 hasConcept C183992945 @default.
- W3211118088 hasConcept C192606457 @default.
- W3211118088 hasConcept C201640847 @default.
- W3211118088 hasConcept C202444582 @default.
- W3211118088 hasConcept C2777573902 @default.
- W3211118088 hasConcept C2778023678 @default.
- W3211118088 hasConcept C33923547 @default.
- W3211118088 hasConcept C34388435 @default.
- W3211118088 hasConcept C62520636 @default.
- W3211118088 hasConcept C78023250 @default.
- W3211118088 hasConcept C9376300 @default.
- W3211118088 hasConceptScore W3211118088C11821877 @default.
- W3211118088 hasConceptScore W3211118088C118615104 @default.
- W3211118088 hasConceptScore W3211118088C121332964 @default.
- W3211118088 hasConceptScore W3211118088C134306372 @default.
- W3211118088 hasConceptScore W3211118088C136119220 @default.
- W3211118088 hasConceptScore W3211118088C137212723 @default.
- W3211118088 hasConceptScore W3211118088C160771489 @default.
- W3211118088 hasConceptScore W3211118088C164953516 @default.
- W3211118088 hasConceptScore W3211118088C183992945 @default.
- W3211118088 hasConceptScore W3211118088C192606457 @default.
- W3211118088 hasConceptScore W3211118088C201640847 @default.
- W3211118088 hasConceptScore W3211118088C202444582 @default.
- W3211118088 hasConceptScore W3211118088C2777573902 @default.
- W3211118088 hasConceptScore W3211118088C2778023678 @default.
- W3211118088 hasConceptScore W3211118088C33923547 @default.
- W3211118088 hasConceptScore W3211118088C34388435 @default.
- W3211118088 hasConceptScore W3211118088C62520636 @default.
- W3211118088 hasConceptScore W3211118088C78023250 @default.
- W3211118088 hasConceptScore W3211118088C9376300 @default.
- W3211118088 hasIssue "1" @default.
- W3211118088 hasLocation W32111180881 @default.
- W3211118088 hasLocation W32111180882 @default.
- W3211118088 hasOpenAccess W3211118088 @default.
- W3211118088 hasPrimaryLocation W32111180881 @default.
- W3211118088 hasRelatedWork W1535538569 @default.
- W3211118088 hasRelatedWork W1983739088 @default.
- W3211118088 hasRelatedWork W2033002247 @default.
- W3211118088 hasRelatedWork W2036781278 @default.
- W3211118088 hasRelatedWork W2233970685 @default.
- W3211118088 hasRelatedWork W2365795222 @default.
- W3211118088 hasRelatedWork W2909948879 @default.
- W3211118088 hasRelatedWork W3211118088 @default.
- W3211118088 hasRelatedWork W866104634 @default.
- W3211118088 hasRelatedWork W884275521 @default.
- W3211118088 hasVolume "84" @default.
- W3211118088 isParatext "false" @default.
- W3211118088 isRetracted "false" @default.
- W3211118088 magId "3211118088" @default.
- W3211118088 workType "article" @default.