Matches in SemOpenAlex for { <https://semopenalex.org/work/W3212571500> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W3212571500 endingPage "4252" @default.
- W3212571500 startingPage "4233" @default.
- W3212571500 abstract "Formalization of rough sets is a key issue in rough set theory. When rough sets are formalized by propositional logic, predicate logic, or modal propositional logic, it easily suffers from some problems. For instance, an incomplete system is obtained. The concepts of “ p r e c i s e” or “ r o u g h” of rough sets cannot be described. To tackle these issues, a new noncontingency axiomatic system is proposed for formalizing rough sets in this paper. First, a new concise accessibility relation is defined for the axiomatic system; then, two simpler axiom schemas of the axiomatic system are designed to replace the axiom schema K. This is helpful to prove the soundness and completeness theorems for the axiomatic system. Finally, rough sets can be perfectly formalized by our proposed axiomatic system. Theoretical analysis proves that a complete formal system is achieved. In addition, the concepts of “ p r e c i s e” or “ r o u g h” of rough sets can be described without the help of semantics functions of metalanguage." @default.
- W3212571500 created "2021-11-22" @default.
- W3212571500 creator A5017919490 @default.
- W3212571500 creator A5034804183 @default.
- W3212571500 creator A5053768392 @default.
- W3212571500 creator A5055284175 @default.
- W3212571500 creator A5080419817 @default.
- W3212571500 date "2021-11-12" @default.
- W3212571500 modified "2023-09-25" @default.
- W3212571500 title "Formalizing rough sets using a new noncontingency axiomatic system" @default.
- W3212571500 cites W1969401102 @default.
- W3212571500 cites W1971226702 @default.
- W3212571500 cites W1976111082 @default.
- W3212571500 cites W2002367458 @default.
- W3212571500 cites W2012918020 @default.
- W3212571500 cites W2060888926 @default.
- W3212571500 cites W2072977212 @default.
- W3212571500 cites W2086932832 @default.
- W3212571500 cites W2123985313 @default.
- W3212571500 cites W2142583143 @default.
- W3212571500 cites W2786150474 @default.
- W3212571500 cites W2908473781 @default.
- W3212571500 cites W2948358921 @default.
- W3212571500 cites W2963042376 @default.
- W3212571500 cites W2989196101 @default.
- W3212571500 cites W3008129210 @default.
- W3212571500 cites W3013295379 @default.
- W3212571500 cites W3082688022 @default.
- W3212571500 cites W3139586432 @default.
- W3212571500 cites W3164150245 @default.
- W3212571500 cites W4247797067 @default.
- W3212571500 cites W59802673 @default.
- W3212571500 cites W93847154 @default.
- W3212571500 doi "https://doi.org/10.1002/int.22719" @default.
- W3212571500 hasPublicationYear "2021" @default.
- W3212571500 type Work @default.
- W3212571500 sameAs 3212571500 @default.
- W3212571500 citedByCount "0" @default.
- W3212571500 crossrefType "journal-article" @default.
- W3212571500 hasAuthorship W3212571500A5017919490 @default.
- W3212571500 hasAuthorship W3212571500A5034804183 @default.
- W3212571500 hasAuthorship W3212571500A5053768392 @default.
- W3212571500 hasAuthorship W3212571500A5055284175 @default.
- W3212571500 hasAuthorship W3212571500A5080419817 @default.
- W3212571500 hasBestOaLocation W32125715001 @default.
- W3212571500 hasConcept C111012933 @default.
- W3212571500 hasConcept C11413529 @default.
- W3212571500 hasConcept C118615104 @default.
- W3212571500 hasConcept C119857082 @default.
- W3212571500 hasConcept C125773388 @default.
- W3212571500 hasConcept C136119220 @default.
- W3212571500 hasConcept C154945302 @default.
- W3212571500 hasConcept C167729594 @default.
- W3212571500 hasConcept C199360897 @default.
- W3212571500 hasConcept C202444582 @default.
- W3212571500 hasConcept C2524010 @default.
- W3212571500 hasConcept C33923547 @default.
- W3212571500 hasConcept C39920170 @default.
- W3212571500 hasConcept C41008148 @default.
- W3212571500 hasConcept C52146309 @default.
- W3212571500 hasConcept C69562738 @default.
- W3212571500 hasConcept C80444323 @default.
- W3212571500 hasConceptScore W3212571500C111012933 @default.
- W3212571500 hasConceptScore W3212571500C11413529 @default.
- W3212571500 hasConceptScore W3212571500C118615104 @default.
- W3212571500 hasConceptScore W3212571500C119857082 @default.
- W3212571500 hasConceptScore W3212571500C125773388 @default.
- W3212571500 hasConceptScore W3212571500C136119220 @default.
- W3212571500 hasConceptScore W3212571500C154945302 @default.
- W3212571500 hasConceptScore W3212571500C167729594 @default.
- W3212571500 hasConceptScore W3212571500C199360897 @default.
- W3212571500 hasConceptScore W3212571500C202444582 @default.
- W3212571500 hasConceptScore W3212571500C2524010 @default.
- W3212571500 hasConceptScore W3212571500C33923547 @default.
- W3212571500 hasConceptScore W3212571500C39920170 @default.
- W3212571500 hasConceptScore W3212571500C41008148 @default.
- W3212571500 hasConceptScore W3212571500C52146309 @default.
- W3212571500 hasConceptScore W3212571500C69562738 @default.
- W3212571500 hasConceptScore W3212571500C80444323 @default.
- W3212571500 hasIssue "7" @default.
- W3212571500 hasLocation W32125715001 @default.
- W3212571500 hasOpenAccess W3212571500 @default.
- W3212571500 hasPrimaryLocation W32125715001 @default.
- W3212571500 hasRelatedWork W167310079 @default.
- W3212571500 hasRelatedWork W1845237624 @default.
- W3212571500 hasRelatedWork W1978609011 @default.
- W3212571500 hasRelatedWork W2041851546 @default.
- W3212571500 hasRelatedWork W2122926471 @default.
- W3212571500 hasRelatedWork W2384156205 @default.
- W3212571500 hasRelatedWork W2406195082 @default.
- W3212571500 hasRelatedWork W3209662876 @default.
- W3212571500 hasRelatedWork W3212571500 @default.
- W3212571500 hasRelatedWork W63408870 @default.
- W3212571500 hasVolume "37" @default.
- W3212571500 isParatext "false" @default.
- W3212571500 isRetracted "false" @default.
- W3212571500 magId "3212571500" @default.
- W3212571500 workType "article" @default.