Matches in SemOpenAlex for { <https://semopenalex.org/work/W3004291378> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W3004291378 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 Kohler 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.
- W3004291378 created "2020-02-07" @default.
- W3004291378 creator A5028359774 @default.
- W3004291378 creator A5031772210 @default.
- W3004291378 creator A5033831417 @default.
- W3004291378 creator A5041352997 @default.
- W3004291378 creator A5045687469 @default.
- W3004291378 creator A5085592765 @default.
- W3004291378 date "2020-01-29" @default.
- W3004291378 modified "2023-09-23" @default.
- W3004291378 title "Diego's Theorem for nuclear implicative semilattices" @default.
- W3004291378 cites W1534787852 @default.
- W3004291378 cites W1553743666 @default.
- W3004291378 cites W1972938060 @default.
- W3004291378 cites W1982832889 @default.
- W3004291378 cites W2023132547 @default.
- W3004291378 cites W2086961867 @default.
- W3004291378 cites W2140223009 @default.
- W3004291378 cites W2167342173 @default.
- W3004291378 cites W2892215877 @default.
- W3004291378 cites W2970205057 @default.
- W3004291378 cites W629486219 @default.
- W3004291378 hasPublicationYear "2020" @default.
- W3004291378 type Work @default.
- W3004291378 sameAs 3004291378 @default.
- W3004291378 citedByCount "0" @default.
- W3004291378 crossrefType "posted-content" @default.
- W3004291378 hasAuthorship W3004291378A5028359774 @default.
- W3004291378 hasAuthorship W3004291378A5031772210 @default.
- W3004291378 hasAuthorship W3004291378A5033831417 @default.
- W3004291378 hasAuthorship W3004291378A5041352997 @default.
- W3004291378 hasAuthorship W3004291378A5045687469 @default.
- W3004291378 hasAuthorship W3004291378A5085592765 @default.
- W3004291378 hasConcept C105795698 @default.
- W3004291378 hasConcept C118615104 @default.
- W3004291378 hasConcept C132170107 @default.
- W3004291378 hasConcept C134306372 @default.
- W3004291378 hasConcept C136119220 @default.
- W3004291378 hasConcept C136197465 @default.
- W3004291378 hasConcept C202444582 @default.
- W3004291378 hasConcept C207405024 @default.
- W3004291378 hasConcept C2778023678 @default.
- W3004291378 hasConcept C33923547 @default.
- W3004291378 hasConcept C34388435 @default.
- W3004291378 hasConceptScore W3004291378C105795698 @default.
- W3004291378 hasConceptScore W3004291378C118615104 @default.
- W3004291378 hasConceptScore W3004291378C132170107 @default.
- W3004291378 hasConceptScore W3004291378C134306372 @default.
- W3004291378 hasConceptScore W3004291378C136119220 @default.
- W3004291378 hasConceptScore W3004291378C136197465 @default.
- W3004291378 hasConceptScore W3004291378C202444582 @default.
- W3004291378 hasConceptScore W3004291378C207405024 @default.
- W3004291378 hasConceptScore W3004291378C2778023678 @default.
- W3004291378 hasConceptScore W3004291378C33923547 @default.
- W3004291378 hasConceptScore W3004291378C34388435 @default.
- W3004291378 hasOpenAccess W3004291378 @default.
- W3004291378 hasRelatedWork W1631178036 @default.
- W3004291378 hasRelatedWork W1996004667 @default.
- W3004291378 hasRelatedWork W2008228064 @default.
- W3004291378 hasRelatedWork W2015741795 @default.
- W3004291378 hasRelatedWork W2018801452 @default.
- W3004291378 hasRelatedWork W2054392781 @default.
- W3004291378 hasRelatedWork W2064649785 @default.
- W3004291378 hasRelatedWork W2093825363 @default.
- W3004291378 hasRelatedWork W2148807136 @default.
- W3004291378 hasRelatedWork W2158423548 @default.
- W3004291378 hasRelatedWork W2170831620 @default.
- W3004291378 hasRelatedWork W2184508161 @default.
- W3004291378 hasRelatedWork W2334486517 @default.
- W3004291378 hasRelatedWork W2336646280 @default.
- W3004291378 hasRelatedWork W2355080329 @default.
- W3004291378 hasRelatedWork W3095185678 @default.
- W3004291378 hasRelatedWork W3114454472 @default.
- W3004291378 hasRelatedWork W3119726814 @default.
- W3004291378 hasRelatedWork W3124044398 @default.
- W3004291378 hasRelatedWork W773413285 @default.
- W3004291378 isParatext "false" @default.
- W3004291378 isRetracted "false" @default.
- W3004291378 magId "3004291378" @default.
- W3004291378 workType "article" @default.