Matches in SemOpenAlex for { <https://semopenalex.org/work/W1772658232> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1772658232 abstract "We investigate the role of the reversion operator in dynamic algebras. We show that all actions in a dynamic algebra with reversion are completely additive. So the considering of the reversion is a way how to axiomatize complete additivity by purely algebraic means. Our main result states that every separable *-continuous dynamic algebra with reversion can be represented as a subalgebra of a full complete dynamic algebra consisting of all completely additive functions on a complete Boolean algebra. We give some corollaries related to the problem of representability of dynamic algebras by Kripke structures. We generalize some results from dynamic algebras with reversion to dynamic algebras with completely additive actions." @default.
- W1772658232 created "2016-06-24" @default.
- W1772658232 creator A5064827689 @default.
- W1772658232 creator A5073900032 @default.
- W1772658232 date "1981-01-01" @default.
- W1772658232 modified "2023-10-03" @default.
- W1772658232 title "On representation of dynamic algebras with reversion" @default.
- W1772658232 cites W1490966766 @default.
- W1772658232 cites W1586267180 @default.
- W1772658232 cites W1600213391 @default.
- W1772658232 cites W2018732573 @default.
- W1772658232 cites W964974419 @default.
- W1772658232 doi "https://doi.org/10.1007/3-540-10856-4_114" @default.
- W1772658232 hasPublicationYear "1981" @default.
- W1772658232 type Work @default.
- W1772658232 sameAs 1772658232 @default.
- W1772658232 citedByCount "1" @default.
- W1772658232 crossrefType "book-chapter" @default.
- W1772658232 hasAuthorship W1772658232A5064827689 @default.
- W1772658232 hasAuthorship W1772658232A5073900032 @default.
- W1772658232 hasConcept C104317684 @default.
- W1772658232 hasConcept C118615104 @default.
- W1772658232 hasConcept C127716648 @default.
- W1772658232 hasConcept C134306372 @default.
- W1772658232 hasConcept C136119220 @default.
- W1772658232 hasConcept C14394260 @default.
- W1772658232 hasConcept C158448853 @default.
- W1772658232 hasConcept C17020691 @default.
- W1772658232 hasConcept C185592680 @default.
- W1772658232 hasConcept C202444582 @default.
- W1772658232 hasConcept C33923547 @default.
- W1772658232 hasConcept C39685927 @default.
- W1772658232 hasConcept C41008148 @default.
- W1772658232 hasConcept C55493867 @default.
- W1772658232 hasConcept C67996461 @default.
- W1772658232 hasConcept C70710897 @default.
- W1772658232 hasConcept C70883133 @default.
- W1772658232 hasConcept C86339819 @default.
- W1772658232 hasConcept C9376300 @default.
- W1772658232 hasConceptScore W1772658232C104317684 @default.
- W1772658232 hasConceptScore W1772658232C118615104 @default.
- W1772658232 hasConceptScore W1772658232C127716648 @default.
- W1772658232 hasConceptScore W1772658232C134306372 @default.
- W1772658232 hasConceptScore W1772658232C136119220 @default.
- W1772658232 hasConceptScore W1772658232C14394260 @default.
- W1772658232 hasConceptScore W1772658232C158448853 @default.
- W1772658232 hasConceptScore W1772658232C17020691 @default.
- W1772658232 hasConceptScore W1772658232C185592680 @default.
- W1772658232 hasConceptScore W1772658232C202444582 @default.
- W1772658232 hasConceptScore W1772658232C33923547 @default.
- W1772658232 hasConceptScore W1772658232C39685927 @default.
- W1772658232 hasConceptScore W1772658232C41008148 @default.
- W1772658232 hasConceptScore W1772658232C55493867 @default.
- W1772658232 hasConceptScore W1772658232C67996461 @default.
- W1772658232 hasConceptScore W1772658232C70710897 @default.
- W1772658232 hasConceptScore W1772658232C70883133 @default.
- W1772658232 hasConceptScore W1772658232C86339819 @default.
- W1772658232 hasConceptScore W1772658232C9376300 @default.
- W1772658232 hasLocation W17726582321 @default.
- W1772658232 hasOpenAccess W1772658232 @default.
- W1772658232 hasPrimaryLocation W17726582321 @default.
- W1772658232 hasRelatedWork W1593006801 @default.
- W1772658232 hasRelatedWork W19044348 @default.
- W1772658232 hasRelatedWork W1970226426 @default.
- W1772658232 hasRelatedWork W1988754305 @default.
- W1772658232 hasRelatedWork W2022554132 @default.
- W1772658232 hasRelatedWork W2058266929 @default.
- W1772658232 hasRelatedWork W2083346809 @default.
- W1772658232 hasRelatedWork W2102736167 @default.
- W1772658232 hasRelatedWork W2138323599 @default.
- W1772658232 hasRelatedWork W2263967233 @default.
- W1772658232 hasRelatedWork W2299808323 @default.
- W1772658232 hasRelatedWork W2403691231 @default.
- W1772658232 hasRelatedWork W2530149787 @default.
- W1772658232 hasRelatedWork W2949858946 @default.
- W1772658232 hasRelatedWork W2963277410 @default.
- W1772658232 hasRelatedWork W3108610421 @default.
- W1772658232 hasRelatedWork W3109823208 @default.
- W1772658232 hasRelatedWork W3199132729 @default.
- W1772658232 hasRelatedWork W62591771 @default.
- W1772658232 hasRelatedWork W3148239413 @default.
- W1772658232 isParatext "false" @default.
- W1772658232 isRetracted "false" @default.
- W1772658232 magId "1772658232" @default.
- W1772658232 workType "book-chapter" @default.