{"DOI":"10.2478/forma-2019-0028","abstract":"Summary\nRough sets, developed by Pawlak [15], are important tool to describe situation of incomplete or partially unknown information. In this article, continuing the formalization of rough sets [12], we give the formal characterization of three rough inclusion functions (RIFs). We start with the standard one, \u03ba\u00a3, connected with \u0141ukasiewicz [14], and extend this research for two additional RIFs: \u03ba1, and \u03ba2, following a paper by Gomoli\u0144ska [4], [3]. We also define q-RIFs and weak q-RIFs [2]. The paper establishes a formal counterpart of [7] and makes a preliminary step towards rough mereology [16], [17] in Mizar [13].","author":[{"family":"Grabowski","given":"Adam"}],"id":"unknown","issued":{"date-parts":[[2019,12,1]]},"page-first":"337","publisher":"Walter de Gruyter GmbH","title":"Formal Development of Rough Inclusion Functions","type":"article-journal","volume":"27"}