{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T14:25:33Z","timestamp":1747664733498},"reference-count":10,"publisher":"Walter de Gruyter GmbH","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,1,1]]},"abstract":"<jats:title>On the Lattice of Intervals and Rough Sets<\/jats:title>\n        <jats:p>Rough sets, developed by Pawlak [6], are an important tool to describe a situation of incomplete or partially unknown information. One of the algebraic models deals with the pair of the upper and the lower approximation. Although usually the tolerance or the equivalence relation is taken into account when considering a rough set, here we rather concentrate on the model with the pair of two definable sets, hence we are close to the notion of an interval set. In this article, the lattices of rough sets and intervals are formalized. This paper, being essentially the continuation of [3], is also a step towards the formalization of the algebraic theory of rough sets, as in [4] or [9].<\/jats:p>","DOI":"10.2478\/v10037-009-0030-x","type":"journal-article","created":{"date-parts":[[2010,7,9]],"date-time":"2010-07-09T03:10:42Z","timestamp":1278645042000},"page":"237-244","source":"Crossref","is-referenced-by-count":4,"title":["On the Lattice of Intervals and Rough Sets"],"prefix":"10.2478","volume":"17","author":[{"given":"Adam","family":"Grabowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Magdalena","family":"Jastrz\u0119bska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"374","reference":[{"issue":"5","key":"1","first-page":"719","article-title":"Complete lattices","volume":"2","author":"Grzegorz Bancerek","year":"1991","journal-title":"Formalized Mathematics"},{"issue":"1","key":"2","first-page":"175","article-title":"Binary operations","volume":"1","author":"Czes\u0142aw Byli\u0144ski","year":"1990","journal-title":"Formalized Mathematics"},{"issue":"1","key":"3","first-page":"21","article-title":"Basic properties of rough sets and rough membership function","volume":"12","author":"Adam Grabowski","year":"2004","journal-title":"Formalized Mathematics"},{"issue":"3","key":"4","first-page":"637","article-title":"Relative sets and rough sets","volume":"11","author":"Amin Mousavi","year":"2001","journal-title":"Int. J. Appl. Math. Comput. Sci"},{"issue":"1","key":"5","first-page":"147","article-title":"Families of sets","volume":"1","author":"Beata Padlewska","year":"1990","journal-title":"Formalized Mathematics"},{"key":"6","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BF01001956","article-title":"Rough sets","volume":"11","author":"Z. Pawlak","year":"1982","journal-title":"International Journal of Parallel Programming"},{"issue":"1","key":"7","first-page":"97","article-title":"Tuples, projections and Cartesian products","volume":"1","author":"Andrzej Trybulec","year":"1990","journal-title":"Formalized Mathematics"},{"issue":"1","key":"8","first-page":"67","article-title":"Properties of subsets","volume":"1","author":"Zinaida Trybulec","year":"1990","journal-title":"Formalized Mathematics"},{"key":"9","first-page":"370","article-title":"Interval-set algebra for qualitative knowledge representation","author":"Y. Yao","year":"1993"},{"issue":"1","key":"10","first-page":"215","article-title":"Introduction to lattice theory","volume":"1","author":"Stanis\u0142aw \u017bukowski","year":"1990","journal-title":"Formalized Mathematics"}],"container-title":["Formalized Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/content.sciendo.com\/view\/journals\/forma\/17\/4\/article-p237.xml","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/view\/j\/forma.2009.17.issue-4\/v10037-009-0030-x\/v10037-009-0030-x.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,30]],"date-time":"2020-05-30T15:27:53Z","timestamp":1590852473000},"score":1,"resource":{"primary":{"URL":"https:\/\/content.sciendo.com\/doi\/10.2478\/v10037-009-0030-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,1]]},"references-count":10,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.2478\/v10037-009-0030-x","relation":{},"ISSN":["1898-9934","1426-2630"],"issn-type":[{"value":"1898-9934","type":"electronic"},{"value":"1426-2630","type":"print"}],"subject":[],"published":{"date-parts":[[2009,1,1]]}}}