{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:35:59Z","timestamp":1743154559194,"version":"3.40.3"},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319028200"},{"type":"electronic","value":"9783319028217"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-02821-7_13","type":"book-chapter","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T14:23:59Z","timestamp":1380637439000},"page":"135-145","source":"Crossref","is-referenced-by-count":5,"title":["Heyting-Brouwer Rough Set Logic"],"prefix":"10.1007","author":[{"given":"Seiki","family":"Akama","sequence":"first","affiliation":[]},{"given":"Tetsuya","family":"Murai","sequence":"additional","affiliation":[]},{"given":"Yasuo","family":"Kudo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1305\/ndjfl\/1093636019","volume":"33","author":"S. Akama","year":"1992","unstructured":"Akama, S.: The Gentzen-Kripke construction of the intermediate logic LQ. Notre Dame Journal of Formal Logic\u00a033, 148\u2013153 (1992)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1016\/S0304-3975(96)00334-9","volume":"179","author":"I. D\u00fcntsch","year":"1997","unstructured":"D\u00fcntsch, I.: A logic for rough sets. Theoretical Computer Science\u00a0179, 427\u2013436 (1997)","journal-title":"Theoretical Computer Science"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1002\/malq.19840301305","volume":"30","author":"E. Orlowska","year":"1988","unstructured":"Orlowska, E.: Modal logics in the theory of information systems. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik\u00a030, 213\u2013222 (1988)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1002\/malq.19890350612","volume":"35","author":"E. Orlowska","year":"1989","unstructured":"Orlowska, E.: Logic for reasoning about knowledge. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik\u00a035, 559\u2013572 (1989)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z. Pawlak","year":"1982","unstructured":"Pawlak, Z.: Rough sets. International Journal of Computer and Information Sciences\u00a011, 341\u2013356 (1982)","journal-title":"International Journal of Computer and Information Sciences"},{"key":"13_CR6","volume-title":"Rough Sets: Theoretical Aspects of Reasoning about Data","author":"Z. Pawlak","year":"1990","unstructured":"Pawlak, Z.: Rough Sets: Theoretical Aspects of Reasoning about Data. Kluwer, Dordrecht (1990)"},{"key":"13_CR7","first-page":"495","volume":"36","author":"J. Pomykala","year":"1988","unstructured":"Pomykala, J., Pomykala, J.A.: The stone algebra of rough sets. Bulletin of Polish Academy of Science, Mathematics\u00a036, 495\u2013508 (1988)","journal-title":"Bulletin of Polish Academy of Science, Mathematics"},{"key":"13_CR8","doi-asserted-by":"crossref","first-page":"219","DOI":"10.4064\/fm-83-3-219-249","volume":"83","author":"C. Rauszer","year":"1974","unstructured":"Rauszer, C.: Semi-Boolean algebras and their applications to intuitionistic logic with dual operations. Fundamenta Mathematicae\u00a083, 219\u2013249 (1974)","journal-title":"Fundamenta Mathematicae"}],"container-title":["Advances in Intelligent Systems and Computing","Knowledge and Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-02821-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T16:11:48Z","timestamp":1676823108000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-02821-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319028200","9783319028217"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-02821-7_13","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2014]]}}}