Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109494992> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2109494992 endingPage "258" @default.
- W2109494992 startingPage "247" @default.
- W2109494992 abstract "Weak Heyting algebras (Celani and Jansana, 2005, Math. Log. Quart., 51, 219–246) encompass subvarieties of the variety of Heyting algebras and subvarieties of the variety of modal algebras, modulo an appropriate translation. In this article, we present an algorithm to construct and count all non-isomorphic weak Heyting algebras, weak Heyting algebras that are Visser algebras and Löb algebras on a given finite distributive lattice." @default.
- W2109494992 created "2016-06-24" @default.
- W2109494992 creator A5017986417 @default.
- W2109494992 creator A5048781990 @default.
- W2109494992 date "2014-12-02" @default.
- W2109494992 modified "2023-10-16" @default.
- W2109494992 title "Counting weak Heyting algebras on finite distributive lattices" @default.
- W2109494992 cites W2060027303 @default.
- W2109494992 cites W2067332512 @default.
- W2109494992 cites W2078182209 @default.
- W2109494992 cites W2159461960 @default.
- W2109494992 doi "https://doi.org/10.1093/jigpal/jzu033" @default.
- W2109494992 hasPublicationYear "2014" @default.
- W2109494992 type Work @default.
- W2109494992 sameAs 2109494992 @default.
- W2109494992 citedByCount "1" @default.
- W2109494992 countsByYear W21094949922023 @default.
- W2109494992 crossrefType "journal-article" @default.
- W2109494992 hasAuthorship W2109494992A5017986417 @default.
- W2109494992 hasAuthorship W2109494992A5048781990 @default.
- W2109494992 hasConcept C105795698 @default.
- W2109494992 hasConcept C11821877 @default.
- W2109494992 hasConcept C118615104 @default.
- W2109494992 hasConcept C136119220 @default.
- W2109494992 hasConcept C136197465 @default.
- W2109494992 hasConcept C14394260 @default.
- W2109494992 hasConcept C187062830 @default.
- W2109494992 hasConcept C192606457 @default.
- W2109494992 hasConcept C202444582 @default.
- W2109494992 hasConcept C203254541 @default.
- W2109494992 hasConcept C33923547 @default.
- W2109494992 hasConcept C518143113 @default.
- W2109494992 hasConcept C54732982 @default.
- W2109494992 hasConceptScore W2109494992C105795698 @default.
- W2109494992 hasConceptScore W2109494992C11821877 @default.
- W2109494992 hasConceptScore W2109494992C118615104 @default.
- W2109494992 hasConceptScore W2109494992C136119220 @default.
- W2109494992 hasConceptScore W2109494992C136197465 @default.
- W2109494992 hasConceptScore W2109494992C14394260 @default.
- W2109494992 hasConceptScore W2109494992C187062830 @default.
- W2109494992 hasConceptScore W2109494992C192606457 @default.
- W2109494992 hasConceptScore W2109494992C202444582 @default.
- W2109494992 hasConceptScore W2109494992C203254541 @default.
- W2109494992 hasConceptScore W2109494992C33923547 @default.
- W2109494992 hasConceptScore W2109494992C518143113 @default.
- W2109494992 hasConceptScore W2109494992C54732982 @default.
- W2109494992 hasIssue "2" @default.
- W2109494992 hasLocation W21094949921 @default.
- W2109494992 hasOpenAccess W2109494992 @default.
- W2109494992 hasPrimaryLocation W21094949921 @default.
- W2109494992 hasRelatedWork W1976154566 @default.
- W2109494992 hasRelatedWork W2007384104 @default.
- W2109494992 hasRelatedWork W2016753507 @default.
- W2109494992 hasRelatedWork W2068129302 @default.
- W2109494992 hasRelatedWork W2103326571 @default.
- W2109494992 hasRelatedWork W2109494992 @default.
- W2109494992 hasRelatedWork W2197386073 @default.
- W2109494992 hasRelatedWork W2264018172 @default.
- W2109494992 hasRelatedWork W2756499695 @default.
- W2109494992 hasRelatedWork W4381135513 @default.
- W2109494992 hasVolume "23" @default.
- W2109494992 isParatext "false" @default.
- W2109494992 isRetracted "false" @default.
- W2109494992 magId "2109494992" @default.
- W2109494992 workType "article" @default.