DOI QR코드

DOI QR Code

MODAL, NECESSITY, SUFFICIENCY AND CO-SUFFICIENCY OPERATORS

  • Kim, Yong Chan (Department of Mathematics Natural Science Gangneung-Wonju National University)
  • Received : 2012.07.02
  • Accepted : 2012.09.12
  • Published : 2012.09.30

Abstract

We investigate the properties of modal, necessity, sufficiency and co-sufficiency operators. We show that their operations induce various relations, respectively.

Keywords

References

  1. R. Belohlavek, Lattices of xed points of Galois connections, Math. Logic Quart. 47 (2001), 111-116. https://doi.org/10.1002/1521-3870(200101)47:1<111::AID-MALQ111>3.0.CO;2-A
  2. I. Duntsch, Ewa. Orlowska, Boolean algebras arising from information systems, Ann. Pure Appl. Logic 127 (2004), 77-98. https://doi.org/10.1016/j.apal.2003.11.009
  3. J. Jarvinen, M. Kondo, J. Kortelainen, Logics from Galois connections, Internat. J. Approx. Reason. 49 (2008), 595-606. https://doi.org/10.1016/j.ijar.2008.06.003
  4. Ewa. Orlowska, I. Rewitzky, Algebras for Galois-style connections and their discrete duality, Fuzzy Sets and Systems 161 (2010), 1325-1342. https://doi.org/10.1016/j.fss.2009.12.013
  5. Z. Pawlak, Rough sets, Int.J .Comput. Sci. Math. 11 (1982), 341-356.
  6. G. Qi, W. Liu, Rough operations on Boolean algebras, Inform. Sci. 173 (2005), 49-63. https://doi.org/10.1016/j.ins.2004.06.006
  7. R. Wille, Restructuring lattice theory; an approach based on hierarchies of concept, in: 1. Rival(Ed.), Ordered Sets, Reidel, Dordrecht, Boston (1982).
  8. W. Yao, L.X. Lu, Fuzzy Galois connections on fuzzy posets, Math. Logic Quart. 55 (2009), 105-112. https://doi.org/10.1002/malq.200710079
  9. Y.Y. Yao, Two Views of the Theory of Rough Swts in Finite Universes, Internat. J. Approx. Reason. 15 (1996), 291-317. https://doi.org/10.1016/S0888-613X(96)00071-0