FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1505067566> ?p ?o ?g. }

• W1505067566 endingPage "467" @default.
• W1505067566 startingPage "458" @default.
• W1505067566 abstract "We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membership relations e+ and e-. We define the set theory ZF± as an extension of ZF with new symbols in classical logic. In this system we can represent uncertainty which is naturally represented in the model of 3-valued logic. We also show modal operator for formulae written in the language of set theory can be defined by using these new predicates and extended separation axiom." @default.
• W1505067566 created "2016-06-24" @default.
• W1505067566 creator A5022916588 @default.
• W1505067566 creator A5029347100 @default.
• W1505067566 creator A5081813933 @default.
• W1505067566 date "2003-01-01" @default.
• W1505067566 modified "2023-09-27" @default.
• W1505067566 title "On a set theory with uncertain membership relations" @default.
• W1505067566 cites W1483568252 @default.
• W1505067566 cites W1542734653 @default.
• W1505067566 cites W1570082825 @default.
• W1505067566 cites W1882024109 @default.
• W1505067566 cites W1981072333 @default.
• W1505067566 cites W2000451268 @default.
• W1505067566 cites W2110182592 @default.
• W1505067566 cites W2130484657 @default.
• W1505067566 cites W2132029456 @default.
• W1505067566 cites W2912565176 @default.
• W1505067566 cites W60726562 @default.
• W1505067566 hasPublicationYear "2003" @default.
• W1505067566 type Work @default.
• W1505067566 sameAs 1505067566 @default.
• W1505067566 citedByCount "0" @default.
• W1505067566 crossrefType "proceedings-article" @default.
• W1505067566 hasAuthorship W1505067566A5022916588 @default.
• W1505067566 hasAuthorship W1505067566A5029347100 @default.
• W1505067566 hasAuthorship W1505067566A5081813933 @default.
• W1505067566 hasConcept C102993220 @default.
• W1505067566 hasConcept C104317684 @default.
• W1505067566 hasConcept C110039528 @default.
• W1505067566 hasConcept C114092440 @default.
• W1505067566 hasConcept C118615104 @default.
• W1505067566 hasConcept C136119220 @default.
• W1505067566 hasConcept C140146324 @default.
• W1505067566 hasConcept C153046414 @default.
• W1505067566 hasConcept C158448853 @default.
• W1505067566 hasConcept C167729594 @default.
• W1505067566 hasConcept C17020691 @default.
• W1505067566 hasConcept C177264268 @default.
• W1505067566 hasConcept C185592680 @default.
• W1505067566 hasConcept C188027245 @default.
• W1505067566 hasConcept C199360897 @default.
• W1505067566 hasConcept C202444582 @default.
• W1505067566 hasConcept C203659156 @default.
• W1505067566 hasConcept C2524010 @default.
• W1505067566 hasConcept C27508121 @default.
• W1505067566 hasConcept C2778029271 @default.
• W1505067566 hasConcept C33923547 @default.
• W1505067566 hasConcept C41008148 @default.
• W1505067566 hasConcept C55493867 @default.
• W1505067566 hasConcept C71139939 @default.
• W1505067566 hasConcept C73314972 @default.
• W1505067566 hasConcept C78344899 @default.
• W1505067566 hasConcept C80444323 @default.
• W1505067566 hasConcept C86339819 @default.
• W1505067566 hasConceptScore W1505067566C102993220 @default.
• W1505067566 hasConceptScore W1505067566C104317684 @default.
• W1505067566 hasConceptScore W1505067566C110039528 @default.
• W1505067566 hasConceptScore W1505067566C114092440 @default.
• W1505067566 hasConceptScore W1505067566C118615104 @default.
• W1505067566 hasConceptScore W1505067566C136119220 @default.
• W1505067566 hasConceptScore W1505067566C140146324 @default.
• W1505067566 hasConceptScore W1505067566C153046414 @default.
• W1505067566 hasConceptScore W1505067566C158448853 @default.
• W1505067566 hasConceptScore W1505067566C167729594 @default.
• W1505067566 hasConceptScore W1505067566C17020691 @default.
• W1505067566 hasConceptScore W1505067566C177264268 @default.
• W1505067566 hasConceptScore W1505067566C185592680 @default.
• W1505067566 hasConceptScore W1505067566C188027245 @default.
• W1505067566 hasConceptScore W1505067566C199360897 @default.
• W1505067566 hasConceptScore W1505067566C202444582 @default.
• W1505067566 hasConceptScore W1505067566C203659156 @default.
• W1505067566 hasConceptScore W1505067566C2524010 @default.
• W1505067566 hasConceptScore W1505067566C27508121 @default.
• W1505067566 hasConceptScore W1505067566C2778029271 @default.
• W1505067566 hasConceptScore W1505067566C33923547 @default.
• W1505067566 hasConceptScore W1505067566C41008148 @default.
• W1505067566 hasConceptScore W1505067566C55493867 @default.
• W1505067566 hasConceptScore W1505067566C71139939 @default.
• W1505067566 hasConceptScore W1505067566C73314972 @default.
• W1505067566 hasConceptScore W1505067566C78344899 @default.
• W1505067566 hasConceptScore W1505067566C80444323 @default.
• W1505067566 hasConceptScore W1505067566C86339819 @default.
• W1505067566 hasLocation W15050675661 @default.
• W1505067566 hasOpenAccess W1505067566 @default.
• W1505067566 hasPrimaryLocation W15050675661 @default.
• W1505067566 hasRelatedWork W1547560990 @default.
• W1505067566 hasRelatedWork W1603401990 @default.
• W1505067566 hasRelatedWork W1772198254 @default.
• W1505067566 hasRelatedWork W191759413 @default.
• W1505067566 hasRelatedWork W197011163 @default.
• W1505067566 hasRelatedWork W2039204373 @default.
• W1505067566 hasRelatedWork W2044750348 @default.
• W1505067566 hasRelatedWork W2070073645 @default.
• W1505067566 hasRelatedWork W2085248504 @default.
• W1505067566 hasRelatedWork W2188603024 @default.
• W1505067566 hasRelatedWork W2326151365 @default.
• W1505067566 hasRelatedWork W2525709821 @default.

• next