@MISC{ROUGHIF1.MIZ,
  AUTHOR = {Grabowski, Adam},
  TITLE = {Formal Development of Rough Inclusion Functions},
  SECTION1 = {Preliminaries},
  SECTION2 = {Standard Rough Inclusion Function},
  SECTION3 = {Rough Inclusion Functions},
  SECTION4 = {Defining Two New RIFs},
  SECTION5 = {Formalization of Proposition 2},
  SECTION6 = {Formalization of Proposition 4},
  SECTION7 = {Concrete Example},
  SECTION8 = {Continuing Formalization of Theorem 4.1},
  DAY = {29},
  MONTH = {August},
  YEAR = {2019},
  ADDRESS1 = {Institute of Informatics\\University of Bia{\l}ystok\\Cio\l kowskiego 1M, 15-245 Bia{\l}ystok\\Poland},
  SUMMARY = {Rough sets, developed by Pawlak, are important tool to
  describe situation of incomplete or partially unknown information.
  In this article we give the formal characterization of three
  rough inclusion functions, $\kappa$, $\kappa_1$, and $\kappa_2$,
  following a paper by Gomoli{\'n}ska.}}





