Abstract
Based on axiomatic rough set theory, first order rough logic was developed earlier. In this paper, a new model theory for that logic is introduced. With this new semantic, first order rough logic is shown to be equivalent to first order S5, and hence consistent and complete.
Cite
CITATION STYLE
APA
Lin, T. Y., & Liu, Q. (1999). First order rough logic-revisited. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1711, pp. 276–284). Springer Verlag. https://doi.org/10.1007/978-3-540-48061-7_34
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free