Table of Contents Author Guidelines Submit a Manuscript
Journal of Applied Mathematics
Volume 2014, Article ID 140707, 17 pages
http://dx.doi.org/10.1155/2014/140707
Research Article

Relational Demonic Fuzzy Refinement

Mathematics Department, King Saud University, P.O. Box 22452, Riyadh 11495, Saudi Arabia

Received 25 February 2014; Accepted 8 July 2014; Published 19 August 2014

Academic Editor: Carlos Conca

Copyright © 2014 Fairouz Tchier. 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. L. A. Zadeh, “Fuzzy sets,” Information and Control, vol. 8, no. 3, pp. 338–353, 1965. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  2. W. Pedrycz, “Processing in relational structures: fuzzy relational equations,” Fuzzy Sets and Systems, vol. 40, no. 1, pp. 77–106, 1991. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  3. J. A. Goguen, “L-fuzzy sets,” Journal of Mathematical Analysis and Applications, vol. 18, pp. 145–174, 1967. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  4. E. Sanchez, “Resolution of composite fuzzy relation equations,” Information and Computation, vol. 30, no. 1, pp. 38–48, 1976. View at Google Scholar · View at MathSciNet · View at Scopus
  5. R. T. Yeh and S. Y. Bang, “Fuzzy graphs, fuzzy relations and their applications to cluster analysis,” in Fuzzy Sets and their Applications to Cognitive and Decision Processes, L. A. Zadeh, K. S. Fu, K. Tanaka, and M. Shimura, Eds., pp. 125–149, Academic Press, New York, NY, USA, 1975. View at Google Scholar
  6. H. J. Zimmermann, Fuzzy Set Theory And its Applications, Kluwer Academic, Boston, Mass, USA, 2nd edition, 1990. View at Publisher · View at Google Scholar · View at MathSciNet
  7. H. Zimmermann, “Testability and meaning of mathematical models in social sciences,” Mathematical Modelling, vol. 1, no. 1, pp. 123–139, 1980. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  8. M. A. Vila and M. Delgado, “On medical diagnosis using possibility measures,” Fuzzy Sets and Systems, vol. 10, no. 3, pp. 211–222, 1983. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  9. H. Furusawa, Algebraic Formalisations of Fuzzy Relations and Their Representation Theorems, Department of Informatics, Kyushu University, Fukuoka, Japan, 1998.
  10. E. H. Mamdani, Advances in the Linguistic Syntesis of Fuzzy Controllers in Fuzzy Reasoning and its Applications, Academic Press, London, UK, 1981.
  11. A. Kaufmann, Theorie des Sous-Ensembles Flous (Fuzzy Set Theory), vol. 1, Masson, Paris, France, 2nd edition, 1977.
  12. J. A. Goguen, “The logic of inexact concepts,” Synthese, vol. 19, no. 3-4, pp. 325–373, 1969. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  13. G. Boole, The Mathematical Analysis of Logic, Being an Essay Toward a Calculus of Deductive Reasoning, Macmillan, Cambridge, Mass, USA, 1847.
  14. E. Ströhlein, Vorlesungen über die Algebra der Logik (exacte Logik), Part 1, vol. 3 of Algebra und Logik der Relative, Teubner, Leipzig, Germany, 1966, 2nd edition published by Chelsea, 1966.
  15. A. Tarski, “On the calculus of relations,” The Journal of Symbolic Logic, vol. 6, no. 3, pp. 73–89, 1941. View at Publisher · View at Google Scholar · View at MathSciNet
  16. R. J. R. Back, “On correct refinement of programs,” Journal of Computer and System Sciences, vol. 23, no. 1, pp. 49–68, 1981. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  17. J. M. Morris, “A theoretical basis for stepwise refinement and the programming calculus,” Science of Computer Programming, vol. 9, no. 3, pp. 287–306, 1987. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  18. F. Tchier, “Demonic semantics by monotypes,” in Proceedings of the International Arab Conference on Information Technology (Acit '02), University of Qatar, Doha, Qatar, December 2002.
  19. F. Tchier, “While loop demonic relational semantics monotype/residual style,” in Proceedings of the International Conference on Software Engineering Research and Practice (SERP’03), pp. 23–26, Las Vegas, Nev, USA, June 2003.
  20. N. Wirth, “Program development by stepwise refinement,” Communications of the ACM, vol. 14, no. 4, pp. 221–227, 1971. View at Google Scholar
  21. N. Boudriga, F. Elloumi, and A. Mili, “On the lattice of specifications: applications to a specification methodology,” Formal Aspects of Computing, vol. 4, no. 6, pp. 544–571, 1992. View at Publisher · View at Google Scholar · View at Scopus
  22. J. Desharnais, A. Mili, and T. T. Nguyen, “Refinement and demonic semantics,” in Relational methods in Computer Science, C. Brink, W. Khal, and G. Schmidt, Eds., Advances in Computing, Springer, New York, NY, USA, 1997. View at Google Scholar
  23. A. de Morgan, “On the syllogism: III, and on logic in general,” Transactions of the Cambridge Philosophical Society, vol. 10, pp. 173–230, 1864. View at Google Scholar
  24. A. de Morgan, “On the symbols of logic, the theory of the syllogism, and in particular of the Copula, and the application of the theory of probabilities to some questions in the theory of evidence,” Transactions of the Cambridge Philosophical Society, vol. 9, pp. 79–127, 1856. View at Google Scholar
  25. C. S. Peirce, “On the algebra of logic: a contribution to the philosophy of notation,” American Journal of Mathematics, vol. 7, no. 2, pp. 180–196, 1885. View at Publisher · View at Google Scholar · View at MathSciNet
  26. C. S. Peirce, “On the algebra of logic,” American Journal of Mathematics, vol. 3, no. 1, pp. 15–57, 1880. View at Publisher · View at Google Scholar · View at MathSciNet
  27. L. H. Chin and A. Tarski, Distributive and Modular Laws in the Arithmetic of Relation Algebras, vol. 1, University of California Publications, 1951.
  28. B. Jonsson, “The theory of binary relations,” in Algebairc Logic, pp. 245–292, Colloquia Mathematica Societatis, Amsterdam, The Netherlands, 1991. View at Google Scholar
  29. B. Jonsson, “Varieties of relation algebras,” Algebra Universalis, vol. 15, no. 3, pp. 273–298, 1982. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  30. B. Jonnson and A. Tarski, “Boolean algebras with operators, part II,” The American Journal of Mathematics, vol. 74, pp. 127–162, 1952. View at Publisher · View at Google Scholar · View at MathSciNet
  31. B. Jonsson and A. Tarski, “Representation problems for relation algebra,” Bulletin of the American Mathematical Society, vol. 80, 1948. View at Google Scholar
  32. R. D. Maddux, “Introductory course on relations algebras, finite-dimensional cylindric algebras, and their interconnections,” Colloquium Mathematical Society, vol. 54, pp. 361–392, 1991. View at Google Scholar
  33. R. D. Maddux, “The origin of relation algebras in the development and axiomatization of the calculus of relations,” Studia Logica, vol. 50, no. 3-4, pp. 421–455, 1991. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  34. G. Schmidt and T. Ströhlein, Relations and Graphs, EATCS Monographs in Computer Science, Springer, Berlin, Germany, 1993.
  35. R. Berghammer and H. Zierer, “Relational algebraic semantics of deterministic and nondeterministic programs,” Theoretical Computer Science, vol. 43, no. 2-3, pp. 123–147, 1986. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  36. F. Tchier, “Demonic relational semantics of compound diagrams,” in Relational Methods in computer Science: The Québec Seminar, J. Desharnais, M. Frappier, and W. MacCaull, Eds., pp. 117–140, Methods Publishers, 2002. View at Google Scholar
  37. G. Schmidt and T. Ströhlein, “Relation algebras: concept of points and representability,” Discrete Mathematics, vol. 54, no. 1, pp. 83–92, 1985. View at Publisher · View at Google Scholar · View at MathSciNet
  38. G. Schmidt, W. G. Kahl, and C. Brink, Relational Methods in Computer Science, Springer, Berlin, Germany, 1997. View at Publisher · View at Google Scholar · View at MathSciNet
  39. L. A. Zadeh, “Similarity relations and fuzzy orderings,” vol. 3, pp. 177–200, 1971. View at Google Scholar · View at MathSciNet · View at Scopus
  40. A. Rosenfeld, “Fuzzy graphs,” in Fuzzy Sets and Their Applications, L. A. Zadeh, K. S. Fu, and M. Shimura, Eds., pp. 77–95, Academic Press, New York, NY, USA, 1975. View at Google Scholar
  41. S. Tamura, S. Higuchi, and K. Tanaka, “Pattern classification based on fuzzy relations,” IEEE Transactions on Systems, Man, and Cybernetics, vol. 1, pp. 61–66, 1971. View at Google Scholar · View at MathSciNet · View at Scopus
  42. W. Pedrycz and F. Gomide, An Introduction to Fuzzy Sets: Analysis and Design, 1998. View at MathSciNet
  43. F. Tchier, Sémantiques relationnelles démoniaques et vérification de boucles non déterministes [Theses of doctorat], Département de Mathématiques et de Statistique, Université Laval, Québec, Canada, 1996.
  44. A. Kaufmann, Introduction to the Theory of Fuzzy Subsets, vol. 1, Academic Press, New York, NY, USA, 1975. View at MathSciNet
  45. T. J. Ross, Fuzzy Logic with Engineering Applications, University of New Mexico, 2004.
  46. Y. Kawahara and H. Furusawa, “An algebraic formatisation of fuzzy relations,” in Proceedings of the 2nd International Seminar on Relational Methods in Computer Science, Rio, Brazil, July 1995.
  47. A. Mili, “A relational approach to the design of deterministic programs,” Acta Informatica, vol. 20, no. 4, pp. 315–328, 1983. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  48. J. Desharnais, B. Möller, and F. Tchier, “Kleene under a demonic star,” in Proceedings of the 8th International Conference on Algebraic Methodology And Software Technology (AMAST '00), vol. 1816 of Lecture Notes in Computer Science, pp. 355–370, Springer, Iowa City, Iowa, USA, May 2000.
  49. J. Desharnais, N. Belkhiter, S. Ben Mohamed Sghaier et al., “Embedding a demonic semilattice in a relation algebra,” Theoretical Computer Science, vol. 149, no. 2, pp. 333–360, 1995. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  50. J. Desharnais and F. Tchier, “Demonic relational semantics of sequential programs,” Rapport de Recherche DIUL-RR-9406, Departement d'Informatique, Universite Laval, Quebec, Canada, 1995. View at Google Scholar