Matches in SemOpenAlex for { <https://semopenalex.org/work/W4252624129> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W4252624129 endingPage "231" @default.
- W4252624129 startingPage "229" @default.
- W4252624129 abstract "Building on earlier work by Guo-Qiang Zhang on disjunctive information systems, and by Thomas Ehrhard, Pasquale Malacaria, and the first author on stable Stone duality, we develop a framework of disjunctive propositional logic in which theories correspond to algebraic L-domains. Disjunctions in the logic can be indexed by arbitrary sets (as in geometric logic) but must be provably disjoint. This raises several technical issues which have to be addressed before clean notions of axiom system and theory can be defined.We show soundness and completeness of the proof system with respect to distributive disjunctive semilattices, and prove that every such semilattice arises as the Lindenbaum algebra of a disjunctive theory. Via stable Stone duality, we show how to use disjunctive propositional logic for a logical description of algebraic L-domains." @default.
- W4252624129 created "2022-05-12" @default.
- W4252624129 date "1987-12-01" @default.
- W4252624129 modified "2023-09-26" @default.
- W4252624129 title "Author index to volumes 41, 42 and 43" @default.
- W4252624129 doi "https://doi.org/10.1016/0020-0255(87)90040-5" @default.
- W4252624129 hasPublicationYear "1987" @default.
- W4252624129 type Work @default.
- W4252624129 citedByCount "1" @default.
- W4252624129 crossrefType "journal-article" @default.
- W4252624129 hasConcept C108710211 @default.
- W4252624129 hasConcept C11821877 @default.
- W4252624129 hasConcept C118615104 @default.
- W4252624129 hasConcept C136119220 @default.
- W4252624129 hasConcept C167729594 @default.
- W4252624129 hasConcept C178421362 @default.
- W4252624129 hasConcept C195653647 @default.
- W4252624129 hasConcept C199360897 @default.
- W4252624129 hasConcept C202444582 @default.
- W4252624129 hasConcept C2318724 @default.
- W4252624129 hasConcept C2524010 @default.
- W4252624129 hasConcept C2778023678 @default.
- W4252624129 hasConcept C33923547 @default.
- W4252624129 hasConcept C39920170 @default.
- W4252624129 hasConcept C41008148 @default.
- W4252624129 hasConcept C45340560 @default.
- W4252624129 hasConcept C69562738 @default.
- W4252624129 hasConceptScore W4252624129C108710211 @default.
- W4252624129 hasConceptScore W4252624129C11821877 @default.
- W4252624129 hasConceptScore W4252624129C118615104 @default.
- W4252624129 hasConceptScore W4252624129C136119220 @default.
- W4252624129 hasConceptScore W4252624129C167729594 @default.
- W4252624129 hasConceptScore W4252624129C178421362 @default.
- W4252624129 hasConceptScore W4252624129C195653647 @default.
- W4252624129 hasConceptScore W4252624129C199360897 @default.
- W4252624129 hasConceptScore W4252624129C202444582 @default.
- W4252624129 hasConceptScore W4252624129C2318724 @default.
- W4252624129 hasConceptScore W4252624129C2524010 @default.
- W4252624129 hasConceptScore W4252624129C2778023678 @default.
- W4252624129 hasConceptScore W4252624129C33923547 @default.
- W4252624129 hasConceptScore W4252624129C39920170 @default.
- W4252624129 hasConceptScore W4252624129C41008148 @default.
- W4252624129 hasConceptScore W4252624129C45340560 @default.
- W4252624129 hasConceptScore W4252624129C69562738 @default.
- W4252624129 hasIssue "3" @default.
- W4252624129 hasLocation W42526241291 @default.
- W4252624129 hasOpenAccess W4252624129 @default.
- W4252624129 hasPrimaryLocation W42526241291 @default.
- W4252624129 hasRelatedWork W1537230380 @default.
- W4252624129 hasRelatedWork W1977750248 @default.
- W4252624129 hasRelatedWork W2037794459 @default.
- W4252624129 hasRelatedWork W2051358061 @default.
- W4252624129 hasRelatedWork W215914879 @default.
- W4252624129 hasRelatedWork W3041601981 @default.
- W4252624129 hasRelatedWork W3158093902 @default.
- W4252624129 hasRelatedWork W4300485825 @default.
- W4252624129 hasRelatedWork W4312206091 @default.
- W4252624129 hasRelatedWork W4313679567 @default.
- W4252624129 hasVolume "43" @default.
- W4252624129 isParatext "false" @default.
- W4252624129 isRetracted "false" @default.
- W4252624129 workType "article" @default.