Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155406913> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2155406913 endingPage "416" @default.
- W2155406913 startingPage "357" @default.
- W2155406913 abstract "A restriction category is an abstract category of partial maps. A Boolean restriction category is a restriction category that supports classical (Boolean) reasoning. Such categories are models of loop-free dynamic logic that is deterministic in the sense that < α > Q ⊂ [α] Q . Classical restriction categories are restriction categories with a locally Boolean structure: it is shown that they are precisely full subcategories of Boolean restriction categories. In particular, a Boolean restriction category may be characterised as a classical restriction category with finite coproducts in which all restriction idempotents split. Every restriction category admits a restriction embedding into a Boolean restriction category. Thus, every abstract category of partial maps admits a conservative extension that supports classical reasoning. An explicit construction of the classical completion of a restriction category is given." @default.
- W2155406913 created "2016-06-24" @default.
- W2155406913 creator A5076132070 @default.
- W2155406913 creator A5081652992 @default.
- W2155406913 date "2009-04-01" @default.
- W2155406913 modified "2023-09-23" @default.
- W2155406913 title "Boolean and classical restriction categories" @default.
- W2155406913 cites W1502663392 @default.
- W2155406913 cites W1586267180 @default.
- W2155406913 cites W1983244685 @default.
- W2155406913 cites W2005230371 @default.
- W2155406913 cites W2038752011 @default.
- W2155406913 cites W2046401230 @default.
- W2155406913 cites W2059659521 @default.
- W2155406913 cites W2069969963 @default.
- W2155406913 cites W2073028751 @default.
- W2155406913 cites W2074491733 @default.
- W2155406913 cites W2078436537 @default.
- W2155406913 cites W2081896452 @default.
- W2155406913 cites W2092438401 @default.
- W2155406913 cites W2121190750 @default.
- W2155406913 cites W2128220966 @default.
- W2155406913 cites W2150690980 @default.
- W2155406913 cites W2160625512 @default.
- W2155406913 cites W2257492292 @default.
- W2155406913 cites W2322238679 @default.
- W2155406913 cites W2327582114 @default.
- W2155406913 cites W4239445786 @default.
- W2155406913 cites W4248953799 @default.
- W2155406913 doi "https://doi.org/10.1017/s0960129509007543" @default.
- W2155406913 hasPublicationYear "2009" @default.
- W2155406913 type Work @default.
- W2155406913 sameAs 2155406913 @default.
- W2155406913 citedByCount "15" @default.
- W2155406913 countsByYear W21554069132012 @default.
- W2155406913 countsByYear W21554069132014 @default.
- W2155406913 countsByYear W21554069132016 @default.
- W2155406913 countsByYear W21554069132019 @default.
- W2155406913 countsByYear W21554069132020 @default.
- W2155406913 countsByYear W21554069132021 @default.
- W2155406913 countsByYear W21554069132023 @default.
- W2155406913 crossrefType "journal-article" @default.
- W2155406913 hasAuthorship W2155406913A5076132070 @default.
- W2155406913 hasAuthorship W2155406913A5081652992 @default.
- W2155406913 hasConcept C114614502 @default.
- W2155406913 hasConcept C118615104 @default.
- W2155406913 hasConcept C136119220 @default.
- W2155406913 hasConcept C156772000 @default.
- W2155406913 hasConcept C169171071 @default.
- W2155406913 hasConcept C202444582 @default.
- W2155406913 hasConcept C207764348 @default.
- W2155406913 hasConcept C33923547 @default.
- W2155406913 hasConcept C7879355 @default.
- W2155406913 hasConcept C81518389 @default.
- W2155406913 hasConceptScore W2155406913C114614502 @default.
- W2155406913 hasConceptScore W2155406913C118615104 @default.
- W2155406913 hasConceptScore W2155406913C136119220 @default.
- W2155406913 hasConceptScore W2155406913C156772000 @default.
- W2155406913 hasConceptScore W2155406913C169171071 @default.
- W2155406913 hasConceptScore W2155406913C202444582 @default.
- W2155406913 hasConceptScore W2155406913C207764348 @default.
- W2155406913 hasConceptScore W2155406913C33923547 @default.
- W2155406913 hasConceptScore W2155406913C7879355 @default.
- W2155406913 hasConceptScore W2155406913C81518389 @default.
- W2155406913 hasIssue "2" @default.
- W2155406913 hasLocation W21554069131 @default.
- W2155406913 hasOpenAccess W2155406913 @default.
- W2155406913 hasPrimaryLocation W21554069131 @default.
- W2155406913 hasRelatedWork W1492215973 @default.
- W2155406913 hasRelatedWork W1496446432 @default.
- W2155406913 hasRelatedWork W1815052100 @default.
- W2155406913 hasRelatedWork W2051531869 @default.
- W2155406913 hasRelatedWork W2094060015 @default.
- W2155406913 hasRelatedWork W2123065381 @default.
- W2155406913 hasRelatedWork W2148363933 @default.
- W2155406913 hasRelatedWork W2516433860 @default.
- W2155406913 hasRelatedWork W3011007790 @default.
- W2155406913 hasRelatedWork W89686449 @default.
- W2155406913 hasVolume "19" @default.
- W2155406913 isParatext "false" @default.
- W2155406913 isRetracted "false" @default.
- W2155406913 magId "2155406913" @default.
- W2155406913 workType "article" @default.