Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952598983> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2952598983 abstract "Analogues of Scott's isomorphism theorem, Karp's as well as results on lack of compactness and strong completeness are established for infinitary propositional relevant logics. An interpolation theorem (of a particular sort introduced by Barwise and van Benthem) for the infinitary quantificational boolean logic $L_{infty omega}$ holds. This yields a preservation result characterizing the expressive power of infinitary relevant languages with absurdity using the model-theoretic relation of relevant directed bisimulation as well as a Beth definability property." @default.
- W2952598983 created "2019-06-27" @default.
- W2952598983 creator A5089384409 @default.
- W2952598983 date "2018-09-21" @default.
- W2952598983 modified "2023-09-27" @default.
- W2952598983 title "Infinitary propositional relevant languages with absurdity" @default.
- W2952598983 cites W1485574327 @default.
- W2952598983 cites W1974483963 @default.
- W2952598983 cites W2022263458 @default.
- W2952598983 cites W2032951832 @default.
- W2952598983 cites W2040400857 @default.
- W2952598983 cites W2042385666 @default.
- W2952598983 cites W2109102460 @default.
- W2952598983 cites W2133505614 @default.
- W2952598983 cites W2145191092 @default.
- W2952598983 cites W2157256407 @default.
- W2952598983 cites W2160796890 @default.
- W2952598983 cites W2173438417 @default.
- W2952598983 cites W2290041791 @default.
- W2952598983 cites W2574945842 @default.
- W2952598983 cites W2970205057 @default.
- W2952598983 cites W3128976560 @default.
- W2952598983 cites W3149236991 @default.
- W2952598983 cites W65053296 @default.
- W2952598983 hasPublicationYear "2018" @default.
- W2952598983 type Work @default.
- W2952598983 sameAs 2952598983 @default.
- W2952598983 citedByCount "0" @default.
- W2952598983 crossrefType "posted-content" @default.
- W2952598983 hasAuthorship W2952598983A5089384409 @default.
- W2952598983 hasConcept C111472728 @default.
- W2952598983 hasConcept C118615104 @default.
- W2952598983 hasConcept C134306372 @default.
- W2952598983 hasConcept C135315306 @default.
- W2952598983 hasConcept C138885662 @default.
- W2952598983 hasConcept C17231256 @default.
- W2952598983 hasConcept C189950617 @default.
- W2952598983 hasConcept C195818886 @default.
- W2952598983 hasConcept C26231708 @default.
- W2952598983 hasConcept C2779377209 @default.
- W2952598983 hasConcept C33923547 @default.
- W2952598983 hasConcept C41008148 @default.
- W2952598983 hasConcept C41895202 @default.
- W2952598983 hasConcept C69562738 @default.
- W2952598983 hasConcept C80444323 @default.
- W2952598983 hasConceptScore W2952598983C111472728 @default.
- W2952598983 hasConceptScore W2952598983C118615104 @default.
- W2952598983 hasConceptScore W2952598983C134306372 @default.
- W2952598983 hasConceptScore W2952598983C135315306 @default.
- W2952598983 hasConceptScore W2952598983C138885662 @default.
- W2952598983 hasConceptScore W2952598983C17231256 @default.
- W2952598983 hasConceptScore W2952598983C189950617 @default.
- W2952598983 hasConceptScore W2952598983C195818886 @default.
- W2952598983 hasConceptScore W2952598983C26231708 @default.
- W2952598983 hasConceptScore W2952598983C2779377209 @default.
- W2952598983 hasConceptScore W2952598983C33923547 @default.
- W2952598983 hasConceptScore W2952598983C41008148 @default.
- W2952598983 hasConceptScore W2952598983C41895202 @default.
- W2952598983 hasConceptScore W2952598983C69562738 @default.
- W2952598983 hasConceptScore W2952598983C80444323 @default.
- W2952598983 hasLocation W29525989831 @default.
- W2952598983 hasOpenAccess W2952598983 @default.
- W2952598983 hasPrimaryLocation W29525989831 @default.
- W2952598983 hasRelatedWork W2009732936 @default.
- W2952598983 hasRelatedWork W2043795280 @default.
- W2952598983 hasRelatedWork W2065608775 @default.
- W2952598983 hasRelatedWork W2071950040 @default.
- W2952598983 hasRelatedWork W2084875152 @default.
- W2952598983 hasRelatedWork W2106716518 @default.
- W2952598983 hasRelatedWork W2109796672 @default.
- W2952598983 hasRelatedWork W2166197332 @default.
- W2952598983 hasRelatedWork W2304246814 @default.
- W2952598983 hasRelatedWork W2561046726 @default.
- W2952598983 hasRelatedWork W2739894774 @default.
- W2952598983 hasRelatedWork W2768901096 @default.
- W2952598983 hasRelatedWork W2788276321 @default.
- W2952598983 hasRelatedWork W2952610483 @default.
- W2952598983 hasRelatedWork W2952799563 @default.
- W2952598983 hasRelatedWork W3043801095 @default.
- W2952598983 hasRelatedWork W3049549325 @default.
- W2952598983 hasRelatedWork W78532238 @default.
- W2952598983 hasRelatedWork W2181866832 @default.
- W2952598983 hasRelatedWork W2181872546 @default.
- W2952598983 isParatext "false" @default.
- W2952598983 isRetracted "false" @default.
- W2952598983 magId "2952598983" @default.
- W2952598983 workType "article" @default.