Abstract
The universe is extended from subsets of U to subsets of Un in Pawlak rough logic theory. The subsequent discussions could be conducted on n-dimensional approximation space, which denote as M=(Un, R). The formal language in rough logic and the n-ary formulas have been put forward in this paper. According to discussing nary formulas in n-dimensional space based on the five rough logical values in Pawlak rough logic, some especial properties of n-ary formulas are gained. With the way of semantic reasoning, some forms of logical reasoning in classical logic have been studied. And we get some theorems which indicate that some forms of logical reasoning are also true in rough logic for five rough logical values.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.