Matches in SemOpenAlex for { <https://semopenalex.org/work/W3080494622> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3080494622 abstract "In this paper, we study several propositional team logics that are closed under unions, including propositional inclusion logic. We prove that all these logics are expressively complete, and we introduce sound and complete systems of natural deduction for these logics. We also discuss the locality property and its connection with interpolation in these logics." @default.
- W3080494622 created "2020-09-01" @default.
- W3080494622 creator A5057242245 @default.
- W3080494622 date "2020-08-24" @default.
- W3080494622 modified "2023-10-17" @default.
- W3080494622 title "Propositional union closed team logics" @default.
- W3080494622 cites W1488578548 @default.
- W3080494622 cites W1896271104 @default.
- W3080494622 cites W1990514682 @default.
- W3080494622 cites W2007760364 @default.
- W3080494622 cites W2094407133 @default.
- W3080494622 cites W2169925928 @default.
- W3080494622 cites W2272442535 @default.
- W3080494622 cites W2285760602 @default.
- W3080494622 cites W2441642482 @default.
- W3080494622 cites W2477965023 @default.
- W3080494622 cites W2498531142 @default.
- W3080494622 cites W2499942789 @default.
- W3080494622 cites W2551205082 @default.
- W3080494622 cites W2895833025 @default.
- W3080494622 cites W2913593017 @default.
- W3080494622 cites W2939647703 @default.
- W3080494622 cites W2963674548 @default.
- W3080494622 cites W2963823733 @default.
- W3080494622 cites W2964084990 @default.
- W3080494622 cites W2964104541 @default.
- W3080494622 cites W2964143660 @default.
- W3080494622 cites W2975393337 @default.
- W3080494622 cites W3003255890 @default.
- W3080494622 cites W3003617023 @default.
- W3080494622 cites W3093094759 @default.
- W3080494622 cites W3196404662 @default.
- W3080494622 cites W582265660 @default.
- W3080494622 doi "https://doi.org/10.48550/arxiv.2008.10324" @default.
- W3080494622 hasPublicationYear "2020" @default.
- W3080494622 type Work @default.
- W3080494622 sameAs 3080494622 @default.
- W3080494622 citedByCount "0" @default.
- W3080494622 crossrefType "posted-content" @default.
- W3080494622 hasAuthorship W3080494622A5057242245 @default.
- W3080494622 hasBestOaLocation W30804946221 @default.
- W3080494622 hasConcept C102993220 @default.
- W3080494622 hasConcept C111472728 @default.
- W3080494622 hasConcept C118615104 @default.
- W3080494622 hasConcept C138885662 @default.
- W3080494622 hasConcept C14523651 @default.
- W3080494622 hasConcept C154945302 @default.
- W3080494622 hasConcept C1883856 @default.
- W3080494622 hasConcept C189950617 @default.
- W3080494622 hasConcept C33203268 @default.
- W3080494622 hasConcept C33923547 @default.
- W3080494622 hasConcept C41008148 @default.
- W3080494622 hasConcept C42011625 @default.
- W3080494622 hasConcept C5263885 @default.
- W3080494622 hasConcept C58166 @default.
- W3080494622 hasConcept C69562738 @default.
- W3080494622 hasConcept C80444323 @default.
- W3080494622 hasConcept C86602344 @default.
- W3080494622 hasConcept C98224912 @default.
- W3080494622 hasConceptScore W3080494622C102993220 @default.
- W3080494622 hasConceptScore W3080494622C111472728 @default.
- W3080494622 hasConceptScore W3080494622C118615104 @default.
- W3080494622 hasConceptScore W3080494622C138885662 @default.
- W3080494622 hasConceptScore W3080494622C14523651 @default.
- W3080494622 hasConceptScore W3080494622C154945302 @default.
- W3080494622 hasConceptScore W3080494622C1883856 @default.
- W3080494622 hasConceptScore W3080494622C189950617 @default.
- W3080494622 hasConceptScore W3080494622C33203268 @default.
- W3080494622 hasConceptScore W3080494622C33923547 @default.
- W3080494622 hasConceptScore W3080494622C41008148 @default.
- W3080494622 hasConceptScore W3080494622C42011625 @default.
- W3080494622 hasConceptScore W3080494622C5263885 @default.
- W3080494622 hasConceptScore W3080494622C58166 @default.
- W3080494622 hasConceptScore W3080494622C69562738 @default.
- W3080494622 hasConceptScore W3080494622C80444323 @default.
- W3080494622 hasConceptScore W3080494622C86602344 @default.
- W3080494622 hasConceptScore W3080494622C98224912 @default.
- W3080494622 hasLocation W30804946221 @default.
- W3080494622 hasLocation W30804946222 @default.
- W3080494622 hasLocation W30804946223 @default.
- W3080494622 hasOpenAccess W3080494622 @default.
- W3080494622 hasPrimaryLocation W30804946221 @default.
- W3080494622 hasRelatedWork W1608648242 @default.
- W3080494622 hasRelatedWork W1907513460 @default.
- W3080494622 hasRelatedWork W2055011182 @default.
- W3080494622 hasRelatedWork W2085117067 @default.
- W3080494622 hasRelatedWork W2138558100 @default.
- W3080494622 hasRelatedWork W2148157601 @default.
- W3080494622 hasRelatedWork W2156897951 @default.
- W3080494622 hasRelatedWork W2473080212 @default.
- W3080494622 hasRelatedWork W2501120957 @default.
- W3080494622 hasRelatedWork W2949968785 @default.
- W3080494622 isParatext "false" @default.
- W3080494622 isRetracted "false" @default.
- W3080494622 magId "3080494622" @default.
- W3080494622 workType "article" @default.