Matches in SemOpenAlex for { <https://semopenalex.org/work/W12426423> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W12426423 abstract "We establish a formal connection between algorithmic correspondence theory and certain dual characterization results for finite lattices, similar to Nation's characterization of a hierarchy of pseudovarieties of finite lattices, progressively generalizing finite distributive lattices. This formal connection is mediated through monotone modal logic. Indeed, we adapt the correspondence algorithm ALBA to the setting of monotone modal logic, and we use a certain duality-induced encoding of finite lattices as monotone neighbourhood frames to translate lattice terms into formulas in monotone modal logic." @default.
- W12426423 created "2016-06-24" @default.
- W12426423 creator A5047149000 @default.
- W12426423 creator A5048130519 @default.
- W12426423 creator A5049300785 @default.
- W12426423 date "2014-08-08" @default.
- W12426423 modified "2023-09-25" @default.
- W12426423 title "Dual characterizations for finite lattices via correspondence theory for monotone modal logic" @default.
- W12426423 cites W1992205482 @default.
- W12426423 cites W289783505 @default.
- W12426423 hasPublicationYear "2014" @default.
- W12426423 type Work @default.
- W12426423 sameAs 12426423 @default.
- W12426423 citedByCount "0" @default.
- W12426423 crossrefType "posted-content" @default.
- W12426423 hasAuthorship W12426423A5047149000 @default.
- W12426423 hasAuthorship W12426423A5048130519 @default.
- W12426423 hasAuthorship W12426423A5049300785 @default.
- W12426423 hasConcept C11191006 @default.
- W12426423 hasConcept C114092440 @default.
- W12426423 hasConcept C11821877 @default.
- W12426423 hasConcept C118615104 @default.
- W12426423 hasConcept C121332964 @default.
- W12426423 hasConcept C13355873 @default.
- W12426423 hasConcept C136119220 @default.
- W12426423 hasConcept C185592680 @default.
- W12426423 hasConcept C188027245 @default.
- W12426423 hasConcept C192606457 @default.
- W12426423 hasConcept C202444582 @default.
- W12426423 hasConcept C24890656 @default.
- W12426423 hasConcept C2524010 @default.
- W12426423 hasConcept C27508121 @default.
- W12426423 hasConcept C2778023678 @default.
- W12426423 hasConcept C2781204021 @default.
- W12426423 hasConcept C2834757 @default.
- W12426423 hasConcept C33923547 @default.
- W12426423 hasConcept C71139939 @default.
- W12426423 hasConceptScore W12426423C11191006 @default.
- W12426423 hasConceptScore W12426423C114092440 @default.
- W12426423 hasConceptScore W12426423C11821877 @default.
- W12426423 hasConceptScore W12426423C118615104 @default.
- W12426423 hasConceptScore W12426423C121332964 @default.
- W12426423 hasConceptScore W12426423C13355873 @default.
- W12426423 hasConceptScore W12426423C136119220 @default.
- W12426423 hasConceptScore W12426423C185592680 @default.
- W12426423 hasConceptScore W12426423C188027245 @default.
- W12426423 hasConceptScore W12426423C192606457 @default.
- W12426423 hasConceptScore W12426423C202444582 @default.
- W12426423 hasConceptScore W12426423C24890656 @default.
- W12426423 hasConceptScore W12426423C2524010 @default.
- W12426423 hasConceptScore W12426423C27508121 @default.
- W12426423 hasConceptScore W12426423C2778023678 @default.
- W12426423 hasConceptScore W12426423C2781204021 @default.
- W12426423 hasConceptScore W12426423C2834757 @default.
- W12426423 hasConceptScore W12426423C33923547 @default.
- W12426423 hasConceptScore W12426423C71139939 @default.
- W12426423 hasLocation W124264231 @default.
- W12426423 hasOpenAccess W12426423 @default.
- W12426423 hasPrimaryLocation W124264231 @default.
- W12426423 hasRelatedWork W1543944822 @default.
- W12426423 hasRelatedWork W1752431025 @default.
- W12426423 hasRelatedWork W1807413456 @default.
- W12426423 hasRelatedWork W1997422883 @default.
- W12426423 hasRelatedWork W2009819089 @default.
- W12426423 hasRelatedWork W2047469465 @default.
- W12426423 hasRelatedWork W2065004139 @default.
- W12426423 hasRelatedWork W2274584817 @default.
- W12426423 hasRelatedWork W2499743893 @default.
- W12426423 hasRelatedWork W2792508923 @default.
- W12426423 hasRelatedWork W2897579049 @default.
- W12426423 hasRelatedWork W2952074926 @default.
- W12426423 hasRelatedWork W2963033294 @default.
- W12426423 hasRelatedWork W2999624213 @default.
- W12426423 hasRelatedWork W3113072655 @default.
- W12426423 hasRelatedWork W3138463883 @default.
- W12426423 hasRelatedWork W3172807740 @default.
- W12426423 hasRelatedWork W3173971361 @default.
- W12426423 hasRelatedWork W3200186909 @default.
- W12426423 hasRelatedWork W2742112337 @default.
- W12426423 isParatext "false" @default.
- W12426423 isRetracted "false" @default.
- W12426423 magId "12426423" @default.
- W12426423 workType "article" @default.