Matches in SemOpenAlex for { <https://semopenalex.org/work/W1739267002> ?p ?o ?g. }
- W1739267002 endingPage "45" @default.
- W1739267002 startingPage "37" @default.
- W1739267002 abstract "Rough sets carry, intuitively, a 3-valued logical structure related to the three regions into which any rough set x divides the universe., viz., the lower definable set i(x), the upper definable set c(x), and the boundary region c(x)setminus i(x) witnessing the vagueness of associated knowledge. In spite of this intuition, the currently known way of relating rough sets and 3-valued logics is only via 3-valued Lukasiewicz algebras (Pagliani) that endow spaces of disjoint representations of rough sets with its structure. Here, we point to a 3-valued rough logic RL of unary predicates in which values of logical formulas are given as intensions over possible worlds that are definable sets in a model of rough set theory (RZF). This logic is closely related to the Lukasiewicz 3-valued logic, i.e., its theorems are theorems of the Lukasiewicz 3-valued logic and theorems of the Lukasiewicz 3-valued logic are in one-to-one correspondence with acceptable formulas of rough logic. The formulas of rough logic have denotations and are evaluated in any universe U in which a structure of RZF has been established. RZF is introduced in this note as a variant of set theory in which elementship is defined via containment, i.e., it acquires a mereological character (for this, see the cited exposition of Lesniewski's ideas). As an application of rough logic RL, decision rules and dependencies in information systems are characterized as acceptable formulas of this logic whereas functional dependencies turn out to be theorems of rough logic RL." @default.
- W1739267002 created "2016-06-24" @default.
- W1739267002 creator A5012433970 @default.
- W1739267002 date "2004-01-01" @default.
- W1739267002 modified "2023-09-26" @default.
- W1739267002 title "A note on 3-valued rough logic accepting decision rules" @default.
- W1739267002 cites W1557923305 @default.
- W1739267002 cites W167589803 @default.
- W1739267002 cites W1979029381 @default.
- W1739267002 cites W2001117289 @default.
- W1739267002 cites W2015459507 @default.
- W1739267002 cites W2016262125 @default.
- W1739267002 cites W2026169174 @default.
- W1739267002 cites W2033225733 @default.
- W1739267002 cites W2048522539 @default.
- W1739267002 cites W2097836221 @default.
- W1739267002 cites W2340020088 @default.
- W1739267002 cites W2804080279 @default.
- W1739267002 cites W2914964480 @default.
- W1739267002 cites W3128363467 @default.
- W1739267002 cites W59802673 @default.
- W1739267002 hasPublicationYear "2004" @default.
- W1739267002 type Work @default.
- W1739267002 sameAs 1739267002 @default.
- W1739267002 citedByCount "9" @default.
- W1739267002 countsByYear W17392670022015 @default.
- W1739267002 crossrefType "journal-article" @default.
- W1739267002 hasAuthorship W1739267002A5012433970 @default.
- W1739267002 hasConcept C102993220 @default.
- W1739267002 hasConcept C110039528 @default.
- W1739267002 hasConcept C111012933 @default.
- W1739267002 hasConcept C111472728 @default.
- W1739267002 hasConcept C118615104 @default.
- W1739267002 hasConcept C134306372 @default.
- W1739267002 hasConcept C136119220 @default.
- W1739267002 hasConcept C138885662 @default.
- W1739267002 hasConcept C150889026 @default.
- W1739267002 hasConcept C152385842 @default.
- W1739267002 hasConcept C154945302 @default.
- W1739267002 hasConcept C202444582 @default.
- W1739267002 hasConcept C203659156 @default.
- W1739267002 hasConcept C33203268 @default.
- W1739267002 hasConcept C33923547 @default.
- W1739267002 hasConcept C39105242 @default.
- W1739267002 hasConcept C41008148 @default.
- W1739267002 hasConcept C45340560 @default.
- W1739267002 hasConcept C78023250 @default.
- W1739267002 hasConcept C86523455 @default.
- W1739267002 hasConcept C9376300 @default.
- W1739267002 hasConceptScore W1739267002C102993220 @default.
- W1739267002 hasConceptScore W1739267002C110039528 @default.
- W1739267002 hasConceptScore W1739267002C111012933 @default.
- W1739267002 hasConceptScore W1739267002C111472728 @default.
- W1739267002 hasConceptScore W1739267002C118615104 @default.
- W1739267002 hasConceptScore W1739267002C134306372 @default.
- W1739267002 hasConceptScore W1739267002C136119220 @default.
- W1739267002 hasConceptScore W1739267002C138885662 @default.
- W1739267002 hasConceptScore W1739267002C150889026 @default.
- W1739267002 hasConceptScore W1739267002C152385842 @default.
- W1739267002 hasConceptScore W1739267002C154945302 @default.
- W1739267002 hasConceptScore W1739267002C202444582 @default.
- W1739267002 hasConceptScore W1739267002C203659156 @default.
- W1739267002 hasConceptScore W1739267002C33203268 @default.
- W1739267002 hasConceptScore W1739267002C33923547 @default.
- W1739267002 hasConceptScore W1739267002C39105242 @default.
- W1739267002 hasConceptScore W1739267002C41008148 @default.
- W1739267002 hasConceptScore W1739267002C45340560 @default.
- W1739267002 hasConceptScore W1739267002C78023250 @default.
- W1739267002 hasConceptScore W1739267002C86523455 @default.
- W1739267002 hasConceptScore W1739267002C9376300 @default.
- W1739267002 hasIssue "1" @default.
- W1739267002 hasLocation W17392670021 @default.
- W1739267002 hasOpenAccess W1739267002 @default.
- W1739267002 hasPrimaryLocation W17392670021 @default.
- W1739267002 hasRelatedWork W1223790611 @default.
- W1739267002 hasRelatedWork W1492856460 @default.
- W1739267002 hasRelatedWork W1508620301 @default.
- W1739267002 hasRelatedWork W1533228521 @default.
- W1739267002 hasRelatedWork W1536630500 @default.
- W1739267002 hasRelatedWork W1557923305 @default.
- W1739267002 hasRelatedWork W1602737043 @default.
- W1739267002 hasRelatedWork W167589803 @default.
- W1739267002 hasRelatedWork W1842663176 @default.
- W1739267002 hasRelatedWork W2016487173 @default.
- W1739267002 hasRelatedWork W2099024249 @default.
- W1739267002 hasRelatedWork W2110182592 @default.
- W1739267002 hasRelatedWork W2115918328 @default.
- W1739267002 hasRelatedWork W2138513693 @default.
- W1739267002 hasRelatedWork W2491671861 @default.
- W1739267002 hasRelatedWork W2496376991 @default.
- W1739267002 hasRelatedWork W2804080279 @default.
- W1739267002 hasRelatedWork W2912565176 @default.
- W1739267002 hasRelatedWork W2946461872 @default.
- W1739267002 hasRelatedWork W90286923 @default.
- W1739267002 hasVolume "61" @default.
- W1739267002 isParatext "false" @default.
- W1739267002 isRetracted "false" @default.
- W1739267002 magId "1739267002" @default.