Abstract | ||
---|---|---|
Based on rough set theory, this paper establishes operator space [ξ*, ξ*]. It is also a subset on truth value interval [0,1]. The operators is put in the front of the formulas to produce the manyvalued logic called operator rough logic(ORL). It defines OI-valid and OI-inconsistent, OI-resolution of the logic, where OI is an abbreviation of Operator Interval. And it also proves the soundness theorem of the logic resolution. |
Year | DOI | Venue |
---|---|---|
1998 | 10.1007/3-540-69115-4_59 | Rough Sets and Current Trends in Computing |
Keywords | Field | DocType |
operator space,soundness theorem,logic resolution,rough set theory,operator rough logic,truth value interval,manyvalued logic,operator interval,many valued logic | Intuitionistic logic,Discrete mathematics,Shift operator,Multiplication operator,Second-order logic,Zeroth-order logic,Compact operator,Predicate functor logic,Mathematics,Intermediate logic | Conference |
ISBN | Citations | PageRank |
3-540-64655-8 | 8 | 1.10 |
References | Authors | |
1 | 1 |