Matches in SemOpenAlex for { <https://semopenalex.org/work/W21190073> ?p ?o ?g. }
- W21190073 endingPage "362" @default.
- W21190073 startingPage "323" @default.
- W21190073 abstract "This chapter introduces the basic notions in theory of quantales. It describes the aspects of algebraic and categorical properties of quantales and quantale modules. This chapter also summarizes the recent developments involving representations and projectivity in quantales. Because of infinitesimal joins, quantales do not form a variety but many of the methods of universal algebra can be still used. Quantales are also applied in linear and other substructural logics and automaton theory. An important moment in the development of the theory of quantales was the realization that quantales give the semantics for propositional linear logic in the same way as Boolean algebras give semantics for classical propositional logic." @default.
- W21190073 created "2016-06-24" @default.
- W21190073 creator A5031218124 @default.
- W21190073 creator A5054848649 @default.
- W21190073 date "2008-01-01" @default.
- W21190073 modified "2023-10-02" @default.
- W21190073 title "Algebraic and Categorical Aspects of Quantales" @default.
- W21190073 cites W118412823 @default.
- W21190073 cites W147444197 @default.
- W21190073 cites W1482362836 @default.
- W21190073 cites W1508185842 @default.
- W21190073 cites W1600216066 @default.
- W21190073 cites W186043453 @default.
- W21190073 cites W1965338471 @default.
- W21190073 cites W1969565164 @default.
- W21190073 cites W1977611829 @default.
- W21190073 cites W1990879990 @default.
- W21190073 cites W2003193672 @default.
- W21190073 cites W2006561578 @default.
- W21190073 cites W2007132589 @default.
- W21190073 cites W2019985623 @default.
- W21190073 cites W2030031955 @default.
- W21190073 cites W2035424191 @default.
- W21190073 cites W2051110641 @default.
- W21190073 cites W2066722548 @default.
- W21190073 cites W2074567307 @default.
- W21190073 cites W2075814177 @default.
- W21190073 cites W2077860596 @default.
- W21190073 cites W2078432227 @default.
- W21190073 cites W2086037765 @default.
- W21190073 cites W2090135014 @default.
- W21190073 cites W2107973308 @default.
- W21190073 cites W2109564017 @default.
- W21190073 cites W2124170184 @default.
- W21190073 cites W2137161767 @default.
- W21190073 cites W2139335522 @default.
- W21190073 cites W2142532309 @default.
- W21190073 cites W2148544922 @default.
- W21190073 cites W2153387975 @default.
- W21190073 cites W2164711115 @default.
- W21190073 cites W2252838967 @default.
- W21190073 cites W2328763474 @default.
- W21190073 cites W2911865844 @default.
- W21190073 cites W3102374664 @default.
- W21190073 cites W3126996113 @default.
- W21190073 cites W4211213234 @default.
- W21190073 cites W4213427446 @default.
- W21190073 cites W4237722035 @default.
- W21190073 cites W4240228303 @default.
- W21190073 cites W4244624434 @default.
- W21190073 cites W4247311051 @default.
- W21190073 doi "https://doi.org/10.1016/s1570-7954(07)05006-1" @default.
- W21190073 hasPublicationYear "2008" @default.
- W21190073 type Work @default.
- W21190073 sameAs 21190073 @default.
- W21190073 citedByCount "61" @default.
- W21190073 countsByYear W211900732012 @default.
- W21190073 countsByYear W211900732013 @default.
- W21190073 countsByYear W211900732014 @default.
- W21190073 countsByYear W211900732015 @default.
- W21190073 countsByYear W211900732016 @default.
- W21190073 countsByYear W211900732017 @default.
- W21190073 countsByYear W211900732018 @default.
- W21190073 countsByYear W211900732019 @default.
- W21190073 countsByYear W211900732020 @default.
- W21190073 countsByYear W211900732021 @default.
- W21190073 countsByYear W211900732022 @default.
- W21190073 countsByYear W211900732023 @default.
- W21190073 crossrefType "book-chapter" @default.
- W21190073 hasAuthorship W21190073A5031218124 @default.
- W21190073 hasAuthorship W21190073A5054848649 @default.
- W21190073 hasConcept C105795698 @default.
- W21190073 hasConcept C112505250 @default.
- W21190073 hasConcept C118615104 @default.
- W21190073 hasConcept C134306372 @default.
- W21190073 hasConcept C136119220 @default.
- W21190073 hasConcept C136197465 @default.
- W21190073 hasConcept C188971069 @default.
- W21190073 hasConcept C202444582 @default.
- W21190073 hasConcept C2781089630 @default.
- W21190073 hasConcept C28077239 @default.
- W21190073 hasConcept C33923547 @default.
- W21190073 hasConcept C41008148 @default.
- W21190073 hasConcept C5274069 @default.
- W21190073 hasConcept C54884031 @default.
- W21190073 hasConcept C69562738 @default.
- W21190073 hasConcept C80444323 @default.
- W21190073 hasConcept C91229774 @default.
- W21190073 hasConceptScore W21190073C105795698 @default.
- W21190073 hasConceptScore W21190073C112505250 @default.
- W21190073 hasConceptScore W21190073C118615104 @default.
- W21190073 hasConceptScore W21190073C134306372 @default.
- W21190073 hasConceptScore W21190073C136119220 @default.
- W21190073 hasConceptScore W21190073C136197465 @default.
- W21190073 hasConceptScore W21190073C188971069 @default.
- W21190073 hasConceptScore W21190073C202444582 @default.
- W21190073 hasConceptScore W21190073C2781089630 @default.
- W21190073 hasConceptScore W21190073C28077239 @default.