Matches in SemOpenAlex for { <https://semopenalex.org/work/W2140223009> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2140223009 endingPage "517" @default.
- W2140223009 startingPage "517" @default.
- W2140223009 abstract "We introduce partial Esakia morphisms, well partial Esakia morphisms, and strong partial Esakia morphisms between Esakia spaces and show that they provide the dual description of (∧, →) homomorphisms, (∧, → , 0) homomorphisms, and (∧ , → , ∨) homomorphisms between Heyting algebras, thus establishing a generalization of Esakia duality. This yields an algebraic characterization of Zakharyaschev’s subreductions, cofinal subreductions, dense subreductions, and the closed domain condition. As a consequence, we obtain a new simplified proof (which is algebraic in nature) of Zakharyaschev’s theorem that each intermediate logic can be axiomatized by canonical formulas." @default.
- W2140223009 created "2016-06-24" @default.
- W2140223009 creator A5031772210 @default.
- W2140223009 creator A5045687469 @default.
- W2140223009 date "2009-09-01" @default.
- W2140223009 modified "2023-10-18" @default.
- W2140223009 title "AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE" @default.
- W2140223009 cites W1972938060 @default.
- W2140223009 cites W1976834309 @default.
- W2140223009 cites W1978576229 @default.
- W2140223009 cites W1983453585 @default.
- W2140223009 cites W2008952614 @default.
- W2140223009 cites W2038444809 @default.
- W2140223009 cites W2078643952 @default.
- W2140223009 cites W2095148612 @default.
- W2140223009 cites W2096659378 @default.
- W2140223009 cites W2099602798 @default.
- W2140223009 cites W2137410044 @default.
- W2140223009 cites W2144359719 @default.
- W2140223009 cites W2147512620 @default.
- W2140223009 cites W2148157601 @default.
- W2140223009 cites W2161004731 @default.
- W2140223009 cites W2184080646 @default.
- W2140223009 cites W4231153836 @default.
- W2140223009 cites W4241116505 @default.
- W2140223009 cites W4253556292 @default.
- W2140223009 doi "https://doi.org/10.1017/s1755020309990177" @default.
- W2140223009 hasPublicationYear "2009" @default.
- W2140223009 type Work @default.
- W2140223009 sameAs 2140223009 @default.
- W2140223009 citedByCount "31" @default.
- W2140223009 countsByYear W21402230092012 @default.
- W2140223009 countsByYear W21402230092013 @default.
- W2140223009 countsByYear W21402230092014 @default.
- W2140223009 countsByYear W21402230092015 @default.
- W2140223009 countsByYear W21402230092016 @default.
- W2140223009 countsByYear W21402230092017 @default.
- W2140223009 countsByYear W21402230092018 @default.
- W2140223009 countsByYear W21402230092019 @default.
- W2140223009 countsByYear W21402230092020 @default.
- W2140223009 countsByYear W21402230092021 @default.
- W2140223009 countsByYear W21402230092022 @default.
- W2140223009 countsByYear W21402230092023 @default.
- W2140223009 crossrefType "journal-article" @default.
- W2140223009 hasAuthorship W2140223009A5031772210 @default.
- W2140223009 hasAuthorship W2140223009A5045687469 @default.
- W2140223009 hasConcept C118615104 @default.
- W2140223009 hasConcept C124952713 @default.
- W2140223009 hasConcept C134306372 @default.
- W2140223009 hasConcept C136119220 @default.
- W2140223009 hasConcept C137212723 @default.
- W2140223009 hasConcept C142362112 @default.
- W2140223009 hasConcept C177148314 @default.
- W2140223009 hasConcept C202444582 @default.
- W2140223009 hasConcept C2778023678 @default.
- W2140223009 hasConcept C2780980858 @default.
- W2140223009 hasConcept C33923547 @default.
- W2140223009 hasConcept C36503486 @default.
- W2140223009 hasConcept C4042151 @default.
- W2140223009 hasConcept C9376300 @default.
- W2140223009 hasConceptScore W2140223009C118615104 @default.
- W2140223009 hasConceptScore W2140223009C124952713 @default.
- W2140223009 hasConceptScore W2140223009C134306372 @default.
- W2140223009 hasConceptScore W2140223009C136119220 @default.
- W2140223009 hasConceptScore W2140223009C137212723 @default.
- W2140223009 hasConceptScore W2140223009C142362112 @default.
- W2140223009 hasConceptScore W2140223009C177148314 @default.
- W2140223009 hasConceptScore W2140223009C202444582 @default.
- W2140223009 hasConceptScore W2140223009C2778023678 @default.
- W2140223009 hasConceptScore W2140223009C2780980858 @default.
- W2140223009 hasConceptScore W2140223009C33923547 @default.
- W2140223009 hasConceptScore W2140223009C36503486 @default.
- W2140223009 hasConceptScore W2140223009C4042151 @default.
- W2140223009 hasConceptScore W2140223009C9376300 @default.
- W2140223009 hasIssue "03" @default.
- W2140223009 hasLocation W21402230091 @default.
- W2140223009 hasOpenAccess W2140223009 @default.
- W2140223009 hasPrimaryLocation W21402230091 @default.
- W2140223009 hasRelatedWork W1998719458 @default.
- W2140223009 hasRelatedWork W2066933924 @default.
- W2140223009 hasRelatedWork W2158253985 @default.
- W2140223009 hasRelatedWork W2563208252 @default.
- W2140223009 hasRelatedWork W2899975002 @default.
- W2140223009 hasRelatedWork W3097324615 @default.
- W2140223009 hasRelatedWork W3126773016 @default.
- W2140223009 hasRelatedWork W3157704859 @default.
- W2140223009 hasRelatedWork W4375947497 @default.
- W2140223009 hasRelatedWork W2911454529 @default.
- W2140223009 hasVolume "2" @default.
- W2140223009 isParatext "false" @default.
- W2140223009 isRetracted "false" @default.
- W2140223009 magId "2140223009" @default.
- W2140223009 workType "article" @default.