FRINK Linked Data Fragments server

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

• W3209662876 abstract "Contingency logic is well-known to study the principles of reasoning involving necessity, possibility, contingency and non-contingency. However, there are some defects in existing contingency axiomatic systems. For instances, (NCR)(_i) is an infinite inference rule. The definition of accessibility relations and the corresponding axiom schema are very complex. To tackle these issues, a new contingency axiomatic system is proposed in this paper. Firstly, 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 “precise” or “rough” of rough sets can be described without the help of semantics functions of metalanguage." @default.
• W3209662876 created "2021-11-08" @default.
• W3209662876 creator A5017919490 @default.
• W3209662876 creator A5055284175 @default.
• W3209662876 creator A5080419817 @default.
• W3209662876 creator A5084535270 @default.
• W3209662876 date "2021-01-01" @default.
• W3209662876 modified "2023-09-25" @default.
• W3209662876 title "A New Contingency Axiomatic System for Rough Sets" @default.
• W3209662876 cites W120535683 @default.
• W3209662876 cites W1969401102 @default.
• W3209662876 cites W1971226702 @default.
• W3209662876 cites W1976111082 @default.
• W3209662876 cites W2002367458 @default.
• W3209662876 cites W2012918020 @default.
• W3209662876 cites W2072977212 @default.
• W3209662876 cites W2086932832 @default.
• W3209662876 cites W2123985313 @default.
• W3209662876 cites W2142583143 @default.
• W3209662876 cites W2786150474 @default.
• W3209662876 cites W2908473781 @default.
• W3209662876 cites W2989196101 @default.
• W3209662876 cites W3008129210 @default.
• W3209662876 cites W3013295379 @default.
• W3209662876 cites W3015376070 @default.
• W3209662876 cites W3038748417 @default.
• W3209662876 cites W3082688022 @default.
• W3209662876 cites W3139586432 @default.
• W3209662876 cites W3164150245 @default.
• W3209662876 cites W4247797067 @default.
• W3209662876 cites W59802673 @default.
• W3209662876 cites W93847154 @default.
• W3209662876 doi "https://doi.org/10.1007/978-981-16-7502-7_36" @default.
• W3209662876 hasPublicationYear "2021" @default.
• W3209662876 type Work @default.
• W3209662876 sameAs 3209662876 @default.
• W3209662876 citedByCount "0" @default.
• W3209662876 crossrefType "book-chapter" @default.
• W3209662876 hasAuthorship W3209662876A5017919490 @default.
• W3209662876 hasAuthorship W3209662876A5055284175 @default.
• W3209662876 hasAuthorship W3209662876A5080419817 @default.
• W3209662876 hasAuthorship W3209662876A5084535270 @default.
• W3209662876 hasConcept C111012933 @default.
• W3209662876 hasConcept C111472728 @default.
• W3209662876 hasConcept C119857082 @default.
• W3209662876 hasConcept C124101348 @default.
• W3209662876 hasConcept C125773388 @default.
• W3209662876 hasConcept C136119220 @default.
• W3209662876 hasConcept C138885662 @default.
• W3209662876 hasConcept C154945302 @default.
• W3209662876 hasConcept C167729594 @default.
• W3209662876 hasConcept C199343813 @default.
• W3209662876 hasConcept C199360897 @default.
• W3209662876 hasConcept C202444582 @default.
• W3209662876 hasConcept C2524010 @default.
• W3209662876 hasConcept C25343380 @default.
• W3209662876 hasConcept C2777686260 @default.
• W3209662876 hasConcept C33923547 @default.
• W3209662876 hasConcept C3746660 @default.
• W3209662876 hasConcept C39920170 @default.
• W3209662876 hasConcept C41008148 @default.
• W3209662876 hasConcept C52146309 @default.
• W3209662876 hasConcept C71924100 @default.
• W3209662876 hasConcept C80444323 @default.
• W3209662876 hasConcept C97508593 @default.
• W3209662876 hasConceptScore W3209662876C111012933 @default.
• W3209662876 hasConceptScore W3209662876C111472728 @default.
• W3209662876 hasConceptScore W3209662876C119857082 @default.
• W3209662876 hasConceptScore W3209662876C124101348 @default.
• W3209662876 hasConceptScore W3209662876C125773388 @default.
• W3209662876 hasConceptScore W3209662876C136119220 @default.
• W3209662876 hasConceptScore W3209662876C138885662 @default.
• W3209662876 hasConceptScore W3209662876C154945302 @default.
• W3209662876 hasConceptScore W3209662876C167729594 @default.
• W3209662876 hasConceptScore W3209662876C199343813 @default.
• W3209662876 hasConceptScore W3209662876C199360897 @default.
• W3209662876 hasConceptScore W3209662876C202444582 @default.
• W3209662876 hasConceptScore W3209662876C2524010 @default.
• W3209662876 hasConceptScore W3209662876C25343380 @default.
• W3209662876 hasConceptScore W3209662876C2777686260 @default.
• W3209662876 hasConceptScore W3209662876C33923547 @default.
• W3209662876 hasConceptScore W3209662876C3746660 @default.
• W3209662876 hasConceptScore W3209662876C39920170 @default.
• W3209662876 hasConceptScore W3209662876C41008148 @default.
• W3209662876 hasConceptScore W3209662876C52146309 @default.
• W3209662876 hasConceptScore W3209662876C71924100 @default.
• W3209662876 hasConceptScore W3209662876C80444323 @default.
• W3209662876 hasConceptScore W3209662876C97508593 @default.
• W3209662876 hasLocation W32096628761 @default.
• W3209662876 hasOpenAccess W3209662876 @default.
• W3209662876 hasPrimaryLocation W32096628761 @default.
• W3209662876 hasRelatedWork W10721160 @default.
• W3209662876 hasRelatedWork W12418839 @default.
• W3209662876 hasRelatedWork W12780597 @default.
• W3209662876 hasRelatedWork W1847686 @default.
• W3209662876 hasRelatedWork W250612 @default.
• W3209662876 hasRelatedWork W2567733 @default.
• W3209662876 hasRelatedWork W6393781 @default.
• W3209662876 hasRelatedWork W9080237 @default.
• W3209662876 hasRelatedWork W9488350 @default.

• next