Tolerance approximation spaces
Fundamenta Informaticae - Special issue: rough sets
Rough sets through algebraic logic
Fundamenta Informaticae - Special issue: to the memory of Prof. Helena Rasiowa
Rough sets and 3-valued Lukasiewicz logic
Fundamenta Informaticae
Modal logic
Rough Consequence and Rough Algebra
RSKD '93 Proceedings of the International Workshop on Rough Sets and Knowledge Discovery: Rough Sets, Fuzzy Sets and Knowledge Discovery
Rough Dialogue and Implication Lattices
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Propositional logics from rough set theory
Transactions on rough sets VI
Rough logics with possible applications to approximate reasoning
RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology
Some rough consequence logics and their interrelations
Transactions on rough sets VIII
Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic
Fundamenta Informaticae
Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic
Fundamenta Informaticae
Theory of truth degrees in three valued formed system RSL
RSKT'12 Proceedings of the 7th international conference on Rough Sets and Knowledge Technology
Hi-index | 0.00 |
Pawlak had proposed the notion of rough truth in 1987 [16]. The article takes a fresh look at this "soft" truth, and presents a formal system L$_R$, that is shown to be sound and complete with respect to a semantics determined by this notion. L$_R$ is based on the modal logic S5. Notable is the rough consequence relation defining L$_R$ (a first version introduced in [9]), and rough consistency (also introduced in [9]), used to prove the completeness result. The former is defined in order to be able to derive roughly true propositions from roughly true premisses in an information system. The motivation for the latter stems from the observation that a proposition and its negation may well be roughly true together. A characterization of L$_R$-consequence shows that the paraconsistent discussive logic J of Jaśkowski is equivalent to L$_R$. So, L$_R$, developed from a totally independent angle, viz. that of rough set theory, gives an alternative formulation to this well-studied logic. It is further observed that pre-rough logic [3] and 3-valued Łukasiewicz logic are embeddable into L$_R$.