Matches in SemOpenAlex for { <https://semopenalex.org/work/W3111887029> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3111887029 endingPage "84" @default.
- W3111887029 startingPage "47" @default.
- W3111887029 abstract "Bilattices, which provide an algebraic tool for simultaneously modelling knowledge and truth, were introduced by N.D. Belnap in a 1977 paper entitled How a computer should think. Prioritised default bilattices include not only Belnap’s four values, for ‘true’ (t), ‘false’(f), ‘contradiction’(⊤) and ‘no information’ (⊥), but also indexed families of default values for simultaneously modelling degrees of knowledge and truth. Prioritised default bilattices have applications in a number of areas including artificial intelligence. In our companion paper, we introduced a new family of prioritised default bilattices, Jn, for n ⩾ 0, with J0 being Belnap’s seminal example. We gave a duality for the variety Vn generated by Jn, with the dual category Xn consisting of multi-sorted topological structures. Here we study the dual category in depth. We axiomatise the category Xn and show that it is isomorphic to a category Yn of single-sorted topological structures. The objects of Yn are ranked Priestley spaces endowed with a continuous retraction. We show how to construct the Priestley dual of the underlying bounded distributive lattice of an algebra in Vn via its dual in Yn; as an application we show that the size of the free algebra FVn(1) is given by a polynomial in n of degree 6." @default.
- W3111887029 created "2020-12-21" @default.
- W3111887029 creator A5001294992 @default.
- W3111887029 creator A5069668056 @default.
- W3111887029 creator A5084778791 @default.
- W3111887029 date "2022-07-01" @default.
- W3111887029 modified "2023-10-14" @default.
- W3111887029 title "Expanding Belnap 2: the dual category in depth" @default.
- W3111887029 cites W1537759834 @default.
- W3111887029 cites W1592435419 @default.
- W3111887029 cites W1602405256 @default.
- W3111887029 cites W1976581549 @default.
- W3111887029 cites W1984218673 @default.
- W3111887029 cites W2061686800 @default.
- W3111887029 cites W207571663 @default.
- W3111887029 cites W2093713825 @default.
- W3111887029 cites W2094463551 @default.
- W3111887029 cites W2140351059 @default.
- W3111887029 cites W2155322595 @default.
- W3111887029 cites W2998490647 @default.
- W3111887029 cites W3086434571 @default.
- W3111887029 cites W2584268201 @default.
- W3111887029 doi "https://doi.org/10.52547/cgasa.2022.102443" @default.
- W3111887029 hasPublicationYear "2022" @default.
- W3111887029 type Work @default.
- W3111887029 sameAs 3111887029 @default.
- W3111887029 citedByCount "0" @default.
- W3111887029 crossrefType "journal-article" @default.
- W3111887029 hasAuthorship W3111887029A5001294992 @default.
- W3111887029 hasAuthorship W3111887029A5069668056 @default.
- W3111887029 hasAuthorship W3111887029A5084778791 @default.
- W3111887029 hasBestOaLocation W31118870291 @default.
- W3111887029 hasConcept C114614502 @default.
- W3111887029 hasConcept C11821877 @default.
- W3111887029 hasConcept C118615104 @default.
- W3111887029 hasConcept C134306372 @default.
- W3111887029 hasConcept C136119220 @default.
- W3111887029 hasConcept C138885662 @default.
- W3111887029 hasConcept C192606457 @default.
- W3111887029 hasConcept C202444582 @default.
- W3111887029 hasConcept C2778023678 @default.
- W3111887029 hasConcept C2780980858 @default.
- W3111887029 hasConcept C33923547 @default.
- W3111887029 hasConcept C34388435 @default.
- W3111887029 hasConcept C41895202 @default.
- W3111887029 hasConcept C9376300 @default.
- W3111887029 hasConceptScore W3111887029C114614502 @default.
- W3111887029 hasConceptScore W3111887029C11821877 @default.
- W3111887029 hasConceptScore W3111887029C118615104 @default.
- W3111887029 hasConceptScore W3111887029C134306372 @default.
- W3111887029 hasConceptScore W3111887029C136119220 @default.
- W3111887029 hasConceptScore W3111887029C138885662 @default.
- W3111887029 hasConceptScore W3111887029C192606457 @default.
- W3111887029 hasConceptScore W3111887029C202444582 @default.
- W3111887029 hasConceptScore W3111887029C2778023678 @default.
- W3111887029 hasConceptScore W3111887029C2780980858 @default.
- W3111887029 hasConceptScore W3111887029C33923547 @default.
- W3111887029 hasConceptScore W3111887029C34388435 @default.
- W3111887029 hasConceptScore W3111887029C41895202 @default.
- W3111887029 hasConceptScore W3111887029C9376300 @default.
- W3111887029 hasIssue "1" @default.
- W3111887029 hasLocation W31118870291 @default.
- W3111887029 hasLocation W31118870292 @default.
- W3111887029 hasOpenAccess W3111887029 @default.
- W3111887029 hasPrimaryLocation W31118870291 @default.
- W3111887029 hasRelatedWork W1562440514 @default.
- W3111887029 hasRelatedWork W1609847679 @default.
- W3111887029 hasRelatedWork W1972942689 @default.
- W3111887029 hasRelatedWork W2081128411 @default.
- W3111887029 hasRelatedWork W2407327313 @default.
- W3111887029 hasRelatedWork W2949385676 @default.
- W3111887029 hasRelatedWork W3007825024 @default.
- W3111887029 hasRelatedWork W3039149314 @default.
- W3111887029 hasRelatedWork W3161850903 @default.
- W3111887029 hasRelatedWork W4287863001 @default.
- W3111887029 hasVolume "17" @default.
- W3111887029 isParatext "false" @default.
- W3111887029 isRetracted "false" @default.
- W3111887029 magId "3111887029" @default.
- W3111887029 workType "article" @default.