Matches in SemOpenAlex for { <https://semopenalex.org/work/W2933593302> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2933593302 abstract "Based on the investigation of the proof system of a disjunctive propositional logic introduced by Yi-xiang Chen and Achim Jung, this paper establishes a purely syntactic representation of algebraic L-domains. The central tools used here are logical states which build a bridge between the logical proof systems and algebraic L-domains. A notion of consequence relation is also made to determine Scott-continuous functions between algebraic L-domains. More precisely, a category of certain proof systems with consequence relations is shown to be equivalent to that of algebraic L-domains with Scott-continuous functions. As an application, a subclass of disjunctive propositional logic is found to provide a logical representation for Scott domains. This allows gaining deep insight into the subject of capturing domains in terms of logic." @default.
- W2933593302 created "2019-04-11" @default.
- W2933593302 creator A5006061787 @default.
- W2933593302 creator A5083966301 @default.
- W2933593302 date "2019-04-07" @default.
- W2933593302 modified "2023-09-27" @default.
- W2933593302 title "The Syntax of Disjunctive Propositional Logic and Algebraic L-domains." @default.
- W2933593302 cites W1171711528 @default.
- W2933593302 cites W1513458930 @default.
- W2933593302 cites W1525647423 @default.
- W2933593302 cites W1544564247 @default.
- W2933593302 cites W1762950854 @default.
- W2933593302 cites W1856161107 @default.
- W2933593302 cites W1992352035 @default.
- W2933593302 cites W2021433230 @default.
- W2933593302 cites W2037794459 @default.
- W2933593302 cites W2072231667 @default.
- W2933593302 cites W2093397547 @default.
- W2933593302 cites W2139772363 @default.
- W2933593302 cites W2156304820 @default.
- W2933593302 cites W2187587455 @default.
- W2933593302 cites W2213176044 @default.
- W2933593302 cites W2346720237 @default.
- W2933593302 cites W2610994252 @default.
- W2933593302 cites W2887953344 @default.
- W2933593302 cites W3099503149 @default.
- W2933593302 hasPublicationYear "2019" @default.
- W2933593302 type Work @default.
- W2933593302 sameAs 2933593302 @default.
- W2933593302 citedByCount "0" @default.
- W2933593302 crossrefType "posted-content" @default.
- W2933593302 hasAuthorship W2933593302A5006061787 @default.
- W2933593302 hasAuthorship W2933593302A5083966301 @default.
- W2933593302 hasConcept C102993220 @default.
- W2933593302 hasConcept C118615104 @default.
- W2933593302 hasConcept C134306372 @default.
- W2933593302 hasConcept C136119220 @default.
- W2933593302 hasConcept C14523651 @default.
- W2933593302 hasConcept C17744445 @default.
- W2933593302 hasConcept C178421362 @default.
- W2933593302 hasConcept C191222856 @default.
- W2933593302 hasConcept C199360897 @default.
- W2933593302 hasConcept C199539241 @default.
- W2933593302 hasConcept C202444582 @default.
- W2933593302 hasConcept C2776359362 @default.
- W2933593302 hasConcept C33203268 @default.
- W2933593302 hasConcept C33923547 @default.
- W2933593302 hasConcept C41008148 @default.
- W2933593302 hasConcept C69562738 @default.
- W2933593302 hasConcept C9376300 @default.
- W2933593302 hasConcept C94625758 @default.
- W2933593302 hasConceptScore W2933593302C102993220 @default.
- W2933593302 hasConceptScore W2933593302C118615104 @default.
- W2933593302 hasConceptScore W2933593302C134306372 @default.
- W2933593302 hasConceptScore W2933593302C136119220 @default.
- W2933593302 hasConceptScore W2933593302C14523651 @default.
- W2933593302 hasConceptScore W2933593302C17744445 @default.
- W2933593302 hasConceptScore W2933593302C178421362 @default.
- W2933593302 hasConceptScore W2933593302C191222856 @default.
- W2933593302 hasConceptScore W2933593302C199360897 @default.
- W2933593302 hasConceptScore W2933593302C199539241 @default.
- W2933593302 hasConceptScore W2933593302C202444582 @default.
- W2933593302 hasConceptScore W2933593302C2776359362 @default.
- W2933593302 hasConceptScore W2933593302C33203268 @default.
- W2933593302 hasConceptScore W2933593302C33923547 @default.
- W2933593302 hasConceptScore W2933593302C41008148 @default.
- W2933593302 hasConceptScore W2933593302C69562738 @default.
- W2933593302 hasConceptScore W2933593302C9376300 @default.
- W2933593302 hasConceptScore W2933593302C94625758 @default.
- W2933593302 hasLocation W29335933021 @default.
- W2933593302 hasOpenAccess W2933593302 @default.
- W2933593302 hasPrimaryLocation W29335933021 @default.
- W2933593302 hasRelatedWork W1533076437 @default.
- W2933593302 hasRelatedWork W1537230380 @default.
- W2933593302 hasRelatedWork W1543233405 @default.
- W2933593302 hasRelatedWork W1543906137 @default.
- W2933593302 hasRelatedWork W1601373259 @default.
- W2933593302 hasRelatedWork W1893950851 @default.
- W2933593302 hasRelatedWork W199863285 @default.
- W2933593302 hasRelatedWork W1999780552 @default.
- W2933593302 hasRelatedWork W2057264146 @default.
- W2933593302 hasRelatedWork W2086425517 @default.
- W2933593302 hasRelatedWork W2089175292 @default.
- W2933593302 hasRelatedWork W2156583603 @default.
- W2933593302 hasRelatedWork W2406135972 @default.
- W2933593302 hasRelatedWork W2531098351 @default.
- W2933593302 hasRelatedWork W2771759909 @default.
- W2933593302 hasRelatedWork W2882677335 @default.
- W2933593302 hasRelatedWork W3003137710 @default.
- W2933593302 hasRelatedWork W3111216965 @default.
- W2933593302 hasRelatedWork W3146832245 @default.
- W2933593302 hasRelatedWork W2432577492 @default.
- W2933593302 isParatext "false" @default.
- W2933593302 isRetracted "false" @default.
- W2933593302 magId "2933593302" @default.
- W2933593302 workType "article" @default.