About this Journal Submit a Manuscript Table of Contents
Journal of Applied Mathematics
Volume 2013 (2013), Article ID 592738, 7 pages
http://dx.doi.org/10.1155/2013/592738
Research Article

Truth Degrees Theory and Approximate Reasoning in 3-Valued Propositional Pre-Rough Logic

School of Science, Xi’an Polytechnic University, Xi’an 710048, China

Received 5 January 2013; Accepted 6 June 2013

Academic Editor: Francisco Chiclana

Copyright © 2013 Yingcang Ma et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. Z. Pawlak, “Rough sets,” International Journal of Computer and Information Sciences, vol. 11, no. 5, pp. 341–356, 1982. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  2. Md. A. Khan and M. Banerjee, “Formal reasoning with rough sets in multiple-source approximation systems,” International Journal of Approximate Reasoning, vol. 49, no. 2, pp. 466–477, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  3. Y. Leung, M. M. Fischer, W.-Z. Wu, and J.-S. Mi, “A rough set approach for the discovery of classification rules in interval-valued information systems,” International Journal of Approximate Reasoning, vol. 47, no. 2, pp. 233–246, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  4. A. Mieszkowicz-Rolka and L. Rolka, “Fuzzy rough approximations of process data,” International Journal of Approximate Reasoning, vol. 49, no. 2, pp. 301–315, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  5. Z. Xu and R. R. Yager, “Dynamic intuitionistic fuzzy multi-attribute decison making,” International Journal of Approximate Reasoning, vol. 48, no. 1, pp. 246–262, 2008. View at Publisher · View at Google Scholar · View at MathSciNet
  6. Y. Yao, “Probabilistic rough set approximations,” International Journal of Approximate Reasoning, vol. 49, no. 2, pp. 255–271, 2008. View at Publisher · View at Google Scholar · View at Scopus
  7. Y. Leung, J.-M. Ma, W.-X. Zhang, and T.-J. Li, “Dependence-space-based attribute reductions in inconsistent decision information systems,” International Journal of Approximate Reasoning, vol. 49, no. 3, pp. 623–630, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  8. Y. Yao, “The superiority of three-way decisions in probabilistic rough set models,” Information Sciences, vol. 181, no. 6, pp. 1080–1096, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  9. Z. Pawlak, “Rough logic,” Bulletin of the Polish Academy of Sciences, vol. 35, no. 5-6, pp. 253–258, 1987. View at Zentralblatt MATH · View at MathSciNet
  10. M. Banerjee and M. K. Chakraborty, “Rough sets through algebraic logic,” Fundamenta Informaticae, vol. 28, no. 3-4, pp. 211–221, 1996. View at Zentralblatt MATH · View at MathSciNet
  11. I. Düntsch, “A logic for rough sets,” Theoretical Computer Science, vol. 179, no. 1-2, pp. 427–436, 1997. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  12. M. K. Chakraborty and M. Banerjee, “Rough consequence,” Polish Academy of Sciences, vol. 41, no. 4, pp. 299–304, 1993. View at Zentralblatt MATH · View at MathSciNet
  13. M. Banerjee, “Logic for rough truth,” Fundamenta Informaticae, vol. 71, no. 2-3, pp. 139–151, 2006. View at Zentralblatt MATH · View at MathSciNet
  14. M. Banerjee and Md. A. Khan, “Propositional logics from rough set theory,” in Transactions on Rough Sets. VI, vol. 4374 of Lecture Notes in Computer Science, pp. 1–25, Springer, Berlin, Germany, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  15. E. Orłowska, “Kripke semantics for knowledge representation logics,” Studia Logica, vol. 49, no. 2, pp. 255–272, 1990. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  16. D. Vakarelov, “A modal logic for similarity relations in Pawlak knowledge representation systems,” Fundamenta Informaticae, vol. 15, no. 1, pp. 61–79, 1991. View at Zentralblatt MATH · View at MathSciNet
  17. X.-H. Zhang and F. Zhu, “Rough logic system RSL and fuzzy logic system Luk,” Journal of the University of Electronic Science and Technology of China, vol. 40, no. 2, pp. 296–302, 2011. View at Publisher · View at Google Scholar · View at Scopus
  18. G. Wang and H. Zhou, “Quantitative logic,” Information Sciences, vol. 179, no. 3, pp. 226–247, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  19. G. Wang, L. Fu, and J. Song, “Theory of truth degrees of propositions in two-valued logic,” Science in China A, vol. 45, no. 9, pp. 1106–1116, 2002. View at Zentralblatt MATH · View at MathSciNet
  20. J. Li and G. Wang, “Theory of truth degrees of propositions in the logic system Ln*,” Science in China F, vol. 49, no. 4, pp. 471–483, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  21. X. J. Hui, “Generalization of the fundamental theorem of probability logic in multi-valued propositional logic,” Acta Mathematicae Applicatae Sinica, vol. 34, no. 2, pp. 217–228, 2011. View at Zentralblatt MATH · View at MathSciNet
  22. X. J. Hui, “Randomized divergence degree of the theories in the R0 3-valued propositional logic system,” Acta Mathematicae Applicatae Sinica, vol. 33, no. 1, pp. 142–149, 2010. View at MathSciNet
  23. G. J. Wang and H. X. Shi, “Quantitative research of generalized tautologies in n-valued propositional logic Ln*,” Journal of Shaanxi Normal University, vol. 37, no. 2, pp. 1–5, 2009. View at MathSciNet
  24. Y. She, X. He, and G. Wang, “Rough truth degrees of formulas and approximate reasoning in rough logic,” Fundamenta Informaticae, vol. 107, no. 1, pp. 67–83, 2011. View at Zentralblatt MATH · View at MathSciNet