Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100238415> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2100238415 abstract "In this paper, we give two fairly simple models of set theory with the unrestricted comprehension based on linear logic. The first model is the extension of the idea of Boolean valued models to linear logic. The second model interprets the occurrences of terms and formulas, allowing the interpretations of dierent occurrences of the same term to" @default.
- W2100238415 created "2016-06-24" @default.
- W2100238415 creator A5035238133 @default.
- W2100238415 date "1995-01-01" @default.
- W2100238415 modified "2023-09-27" @default.
- W2100238415 title "Two simple models for linear set theory" @default.
- W2100238415 cites W1992629414 @default.
- W2100238415 cites W2093657228 @default.
- W2100238415 cites W2522792075 @default.
- W2100238415 hasPublicationYear "1995" @default.
- W2100238415 type Work @default.
- W2100238415 sameAs 2100238415 @default.
- W2100238415 citedByCount "0" @default.
- W2100238415 crossrefType "journal-article" @default.
- W2100238415 hasAuthorship W2100238415A5035238133 @default.
- W2100238415 hasConcept C111472728 @default.
- W2100238415 hasConcept C11413529 @default.
- W2100238415 hasConcept C121332964 @default.
- W2100238415 hasConcept C138885662 @default.
- W2100238415 hasConcept C153046414 @default.
- W2100238415 hasConcept C177264268 @default.
- W2100238415 hasConcept C199360897 @default.
- W2100238415 hasConcept C2778029271 @default.
- W2100238415 hasConcept C2780586882 @default.
- W2100238415 hasConcept C33923547 @default.
- W2100238415 hasConcept C41008148 @default.
- W2100238415 hasConcept C61797465 @default.
- W2100238415 hasConcept C62520636 @default.
- W2100238415 hasConcept C80444323 @default.
- W2100238415 hasConceptScore W2100238415C111472728 @default.
- W2100238415 hasConceptScore W2100238415C11413529 @default.
- W2100238415 hasConceptScore W2100238415C121332964 @default.
- W2100238415 hasConceptScore W2100238415C138885662 @default.
- W2100238415 hasConceptScore W2100238415C153046414 @default.
- W2100238415 hasConceptScore W2100238415C177264268 @default.
- W2100238415 hasConceptScore W2100238415C199360897 @default.
- W2100238415 hasConceptScore W2100238415C2778029271 @default.
- W2100238415 hasConceptScore W2100238415C2780586882 @default.
- W2100238415 hasConceptScore W2100238415C33923547 @default.
- W2100238415 hasConceptScore W2100238415C41008148 @default.
- W2100238415 hasConceptScore W2100238415C61797465 @default.
- W2100238415 hasConceptScore W2100238415C62520636 @default.
- W2100238415 hasConceptScore W2100238415C80444323 @default.
- W2100238415 hasLocation W21002384151 @default.
- W2100238415 hasOpenAccess W2100238415 @default.
- W2100238415 hasPrimaryLocation W21002384151 @default.
- W2100238415 hasRelatedWork W1138238613 @default.
- W2100238415 hasRelatedWork W119551458 @default.
- W2100238415 hasRelatedWork W1500812442 @default.
- W2100238415 hasRelatedWork W15274932 @default.
- W2100238415 hasRelatedWork W1757725806 @default.
- W2100238415 hasRelatedWork W2279758592 @default.
- W2100238415 hasRelatedWork W2293188203 @default.
- W2100238415 hasRelatedWork W2397829416 @default.
- W2100238415 hasRelatedWork W2441184612 @default.
- W2100238415 hasRelatedWork W2634552222 @default.
- W2100238415 hasRelatedWork W2793716197 @default.
- W2100238415 hasRelatedWork W2809754822 @default.
- W2100238415 hasRelatedWork W28931835 @default.
- W2100238415 hasRelatedWork W2933189939 @default.
- W2100238415 hasRelatedWork W2939708371 @default.
- W2100238415 hasRelatedWork W2952230935 @default.
- W2100238415 hasRelatedWork W2986314116 @default.
- W2100238415 hasRelatedWork W3024217158 @default.
- W2100238415 hasRelatedWork W3101554965 @default.
- W2100238415 hasRelatedWork W3208606349 @default.
- W2100238415 isParatext "false" @default.
- W2100238415 isRetracted "false" @default.
- W2100238415 magId "2100238415" @default.
- W2100238415 workType "article" @default.