Matches in SemOpenAlex for { <https://semopenalex.org/work/W3114454472> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W3114454472 endingPage "535" @default.
- W3114454472 startingPage "498" @default.
- W3114454472 abstract "We prove that the variety of nuclear implicative semilattices is locally finite, thus generalizing Diego’s Theorem. The key ingredients of our proof include the coloring technique and construction of universal models from modal logic. For this we develop duality theory for finite nuclear implicative semilattices, generalizing Köhler duality. We prove that our main result remains true for bounded nuclear implicative semilattices, give an alternative proof of Diego’s Theorem, and provide an explicit description of the free cyclic nuclear implicative semilattice." @default.
- W3114454472 created "2021-01-05" @default.
- W3114454472 creator A5028359774 @default.
- W3114454472 creator A5031772210 @default.
- W3114454472 creator A5033831417 @default.
- W3114454472 creator A5041352997 @default.
- W3114454472 creator A5045687469 @default.
- W3114454472 creator A5085592765 @default.
- W3114454472 date "2021-04-01" @default.
- W3114454472 modified "2023-09-30" @default.
- W3114454472 title "Diego’s Theorem for nuclear implicative semilattices" @default.
- W3114454472 cites W1972938060 @default.
- W3114454472 cites W1982832889 @default.
- W3114454472 cites W2023132547 @default.
- W3114454472 cites W2036781278 @default.
- W3114454472 cites W2086961867 @default.
- W3114454472 cites W2096659378 @default.
- W3114454472 cites W2103326571 @default.
- W3114454472 cites W2140223009 @default.
- W3114454472 cites W2167342173 @default.
- W3114454472 cites W2330202532 @default.
- W3114454472 cites W2892215877 @default.
- W3114454472 cites W2953731048 @default.
- W3114454472 cites W4231153836 @default.
- W3114454472 doi "https://doi.org/10.1016/j.indag.2020.12.005" @default.
- W3114454472 hasPublicationYear "2021" @default.
- W3114454472 type Work @default.
- W3114454472 sameAs 3114454472 @default.
- W3114454472 citedByCount "1" @default.
- W3114454472 countsByYear W31144544722023 @default.
- W3114454472 crossrefType "journal-article" @default.
- W3114454472 hasAuthorship W3114454472A5028359774 @default.
- W3114454472 hasAuthorship W3114454472A5031772210 @default.
- W3114454472 hasAuthorship W3114454472A5033831417 @default.
- W3114454472 hasAuthorship W3114454472A5041352997 @default.
- W3114454472 hasAuthorship W3114454472A5045687469 @default.
- W3114454472 hasAuthorship W3114454472A5085592765 @default.
- W3114454472 hasBestOaLocation W31144544722 @default.
- W3114454472 hasConcept C105795698 @default.
- W3114454472 hasConcept C118615104 @default.
- W3114454472 hasConcept C132170107 @default.
- W3114454472 hasConcept C134306372 @default.
- W3114454472 hasConcept C136119220 @default.
- W3114454472 hasConcept C136197465 @default.
- W3114454472 hasConcept C202444582 @default.
- W3114454472 hasConcept C207405024 @default.
- W3114454472 hasConcept C2778023678 @default.
- W3114454472 hasConcept C33923547 @default.
- W3114454472 hasConcept C34388435 @default.
- W3114454472 hasConceptScore W3114454472C105795698 @default.
- W3114454472 hasConceptScore W3114454472C118615104 @default.
- W3114454472 hasConceptScore W3114454472C132170107 @default.
- W3114454472 hasConceptScore W3114454472C134306372 @default.
- W3114454472 hasConceptScore W3114454472C136119220 @default.
- W3114454472 hasConceptScore W3114454472C136197465 @default.
- W3114454472 hasConceptScore W3114454472C202444582 @default.
- W3114454472 hasConceptScore W3114454472C207405024 @default.
- W3114454472 hasConceptScore W3114454472C2778023678 @default.
- W3114454472 hasConceptScore W3114454472C33923547 @default.
- W3114454472 hasConceptScore W3114454472C34388435 @default.
- W3114454472 hasFunder F4320322898 @default.
- W3114454472 hasIssue "2" @default.
- W3114454472 hasLocation W31144544721 @default.
- W3114454472 hasLocation W31144544722 @default.
- W3114454472 hasLocation W31144544723 @default.
- W3114454472 hasOpenAccess W3114454472 @default.
- W3114454472 hasPrimaryLocation W31144544721 @default.
- W3114454472 hasRelatedWork W1594239811 @default.
- W3114454472 hasRelatedWork W1969999722 @default.
- W3114454472 hasRelatedWork W2037963112 @default.
- W3114454472 hasRelatedWork W2131625422 @default.
- W3114454472 hasRelatedWork W2940630511 @default.
- W3114454472 hasRelatedWork W3095336029 @default.
- W3114454472 hasRelatedWork W3167893375 @default.
- W3114454472 hasRelatedWork W4300184756 @default.
- W3114454472 hasRelatedWork W4311038273 @default.
- W3114454472 hasRelatedWork W4383176058 @default.
- W3114454472 hasVolume "32" @default.
- W3114454472 isParatext "false" @default.
- W3114454472 isRetracted "false" @default.
- W3114454472 magId "3114454472" @default.
- W3114454472 workType "article" @default.