Matches in SemOpenAlex for { <https://semopenalex.org/work/W2896078680> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2896078680 abstract "In the study of algebras related to non-classical logics, (distributive) semilattices are always present in the background. For example, the algebraic semantic of the ${rightarrow,wedge,top}$-fragment of intuitionistic logic is the variety of implicative meet-semilattices cite{CelaniImplicative} cite{ChajdaHalasKuhr}. In this paper we introduce and study the class of distributive meet-semilattices endowed with a monotonic modal operator $m$. We study the representation theory of these algebras using the theory of canonical extensions and we give a topological duality for them. Also, we show how our new duality extends to some particular subclasses." @default.
- W2896078680 created "2018-10-26" @default.
- W2896078680 creator A5027460719 @default.
- W2896078680 creator A5076062079 @default.
- W2896078680 date "2018-10-19" @default.
- W2896078680 modified "2023-10-06" @default.
- W2896078680 title "Monotonic Distributive Semilattices" @default.
- W2896078680 cites W1500907847 @default.
- W2896078680 cites W1562670678 @default.
- W2896078680 cites W1596067335 @default.
- W2896078680 cites W1898808613 @default.
- W2896078680 cites W1972417425 @default.
- W2896078680 cites W1982832889 @default.
- W2896078680 cites W1992205482 @default.
- W2896078680 cites W2159110442 @default.
- W2896078680 cites W2624857275 @default.
- W2896078680 cites W297605224 @default.
- W2896078680 hasPublicationYear "2018" @default.
- W2896078680 type Work @default.
- W2896078680 sameAs 2896078680 @default.
- W2896078680 citedByCount "0" @default.
- W2896078680 crossrefType "posted-content" @default.
- W2896078680 hasAuthorship W2896078680A5027460719 @default.
- W2896078680 hasAuthorship W2896078680A5076062079 @default.
- W2896078680 hasConcept C104317684 @default.
- W2896078680 hasConcept C105795698 @default.
- W2896078680 hasConcept C11821877 @default.
- W2896078680 hasConcept C118615104 @default.
- W2896078680 hasConcept C132170107 @default.
- W2896078680 hasConcept C134306372 @default.
- W2896078680 hasConcept C136119220 @default.
- W2896078680 hasConcept C136197465 @default.
- W2896078680 hasConcept C154945302 @default.
- W2896078680 hasConcept C158448853 @default.
- W2896078680 hasConcept C17020691 @default.
- W2896078680 hasConcept C185592680 @default.
- W2896078680 hasConcept C192606457 @default.
- W2896078680 hasConcept C202444582 @default.
- W2896078680 hasConcept C207405024 @default.
- W2896078680 hasConcept C2524010 @default.
- W2896078680 hasConcept C2777212361 @default.
- W2896078680 hasConcept C2778023678 @default.
- W2896078680 hasConcept C33923547 @default.
- W2896078680 hasConcept C41008148 @default.
- W2896078680 hasConcept C47422493 @default.
- W2896078680 hasConcept C55493867 @default.
- W2896078680 hasConcept C72169020 @default.
- W2896078680 hasConcept C86339819 @default.
- W2896078680 hasConceptScore W2896078680C104317684 @default.
- W2896078680 hasConceptScore W2896078680C105795698 @default.
- W2896078680 hasConceptScore W2896078680C11821877 @default.
- W2896078680 hasConceptScore W2896078680C118615104 @default.
- W2896078680 hasConceptScore W2896078680C132170107 @default.
- W2896078680 hasConceptScore W2896078680C134306372 @default.
- W2896078680 hasConceptScore W2896078680C136119220 @default.
- W2896078680 hasConceptScore W2896078680C136197465 @default.
- W2896078680 hasConceptScore W2896078680C154945302 @default.
- W2896078680 hasConceptScore W2896078680C158448853 @default.
- W2896078680 hasConceptScore W2896078680C17020691 @default.
- W2896078680 hasConceptScore W2896078680C185592680 @default.
- W2896078680 hasConceptScore W2896078680C192606457 @default.
- W2896078680 hasConceptScore W2896078680C202444582 @default.
- W2896078680 hasConceptScore W2896078680C207405024 @default.
- W2896078680 hasConceptScore W2896078680C2524010 @default.
- W2896078680 hasConceptScore W2896078680C2777212361 @default.
- W2896078680 hasConceptScore W2896078680C2778023678 @default.
- W2896078680 hasConceptScore W2896078680C33923547 @default.
- W2896078680 hasConceptScore W2896078680C41008148 @default.
- W2896078680 hasConceptScore W2896078680C47422493 @default.
- W2896078680 hasConceptScore W2896078680C55493867 @default.
- W2896078680 hasConceptScore W2896078680C72169020 @default.
- W2896078680 hasConceptScore W2896078680C86339819 @default.
- W2896078680 hasOpenAccess W2896078680 @default.
- W2896078680 hasRelatedWork W1490736403 @default.
- W2896078680 hasRelatedWork W1977205581 @default.
- W2896078680 hasRelatedWork W2017672011 @default.
- W2896078680 hasRelatedWork W2028630116 @default.
- W2896078680 hasRelatedWork W2131705711 @default.
- W2896078680 hasRelatedWork W2140662345 @default.
- W2896078680 hasRelatedWork W2145609623 @default.
- W2896078680 hasRelatedWork W2162459505 @default.
- W2896078680 hasRelatedWork W2165893511 @default.
- W2896078680 hasRelatedWork W2277554116 @default.
- W2896078680 hasRelatedWork W2296060118 @default.
- W2896078680 hasRelatedWork W2318572191 @default.
- W2896078680 hasRelatedWork W2394505873 @default.
- W2896078680 hasRelatedWork W2530099022 @default.
- W2896078680 hasRelatedWork W2756978888 @default.
- W2896078680 hasRelatedWork W2759139027 @default.
- W2896078680 hasRelatedWork W2964269217 @default.
- W2896078680 hasRelatedWork W2978030444 @default.
- W2896078680 hasRelatedWork W3012475493 @default.
- W2896078680 hasRelatedWork W3117857062 @default.
- W2896078680 isParatext "false" @default.
- W2896078680 isRetracted "false" @default.
- W2896078680 magId "2896078680" @default.
- W2896078680 workType "article" @default.