{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:31:30Z","timestamp":1725489090250},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540646556"},{"type":"electronic","value":"9783540691150"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-69115-4_18","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T18:38:12Z","timestamp":1186771092000},"page":"123-130","source":"Crossref","is-referenced-by-count":7,"title":["Intrinsic Co-Heyting Boundaries and Information Incompleteness in Rough Set Analysis"],"prefix":"10.1007","author":[{"given":"Piero","family":"Pagliani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,2,26]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","first-page":"211","DOI":"10.3233\/FI-1996-283401","volume":"28","author":"M. Banerjee","year":"1996","unstructured":"M. Banerjee & M. Chakraborthy, Rough Sets Through Algebraic Logic. Fundamenta Informaticae, 28, 1996, pp. 211\u2013221.","journal-title":"Fundamenta Informaticae"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"P.T. Johnstone, Conditions related to De Morgan\u2019s law. In M.P. Fourman, C.J. Mulvey & D. S. Scott (eds.), Applications of Sheaves (Durham 1977), LNM 753, Springer-Verlag, 1979, pp. 479\u2013491.","DOI":"10.1007\/BFb0061829"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"F.W. Lawvere, Introduction to F. W. Lawvere & S. Schanuel (eds.), Categories in Continuum Physics (Buffalo 1982), LNM 1174, Springer-Verlag, 1986.","DOI":"10.1007\/BFb0076928"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"F. W. Lawvere, Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes. In A. Carboni, M.C. Pedicchio & G. Rosolini (eds.), Category Theory (Como 1990), LNM 1488, Springer-Verlag 1991, pp. 279\u2013297.","DOI":"10.1007\/BFb0084226"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"E: Or\u0142owska, Logic for reasoning about knowledge. In W.P. Ziarko (ed.) Rough Sets, Fuzzy Sets and Knowledge Discovery, Springer-Verlag, 1994, pp. 227\u2013236.","DOI":"10.1007\/978-1-4471-3238-7"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Z. Pawlak, Rough Sets: A Theoretical Approach to Reasoning about Data. Kluwer, 1991.","DOI":"10.1007\/978-94-011-3534-4"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"P. Pagliani, Rough Set System and Logic-algebraic Structures. In E. Or\u0142owska (ed.): Incomplete Information: Rough Set Analysis, Physica Verlag, 1997, pp. 109\u2013190.","DOI":"10.1007\/978-3-7908-1888-8_6"},{"key":"18_CR8","doi-asserted-by":"crossref","first-page":"219","DOI":"10.4064\/fm-83-3-219-249","volume":"LXXIII","author":"C. Rauszer","year":"1974","unstructured":"C. Rauszer, Semi-Boolean algebras and their application to intuitionistic logic with dual operations. Fundamenta Mathematicae LXXIII, 1974, pp. 219\u2013249.","journal-title":"Fundamenta Mathematicae"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF00357841","volume":"25","author":"G.E. Reyes","year":"1996","unstructured":"G.E. Reyes & N. Zolfaghari, Bi-Heyting Algebras, Toposes and Modalities. Journ. of Philosophical Logic, 25, 1996, pp. 25\u201343.","journal-title":"Journ. of Philosophical Logic"}],"container-title":["Lecture Notes in Computer Science","Rough Sets and Current Trends in Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-69115-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T19:50:54Z","timestamp":1587844254000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-69115-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646556","9783540691150"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-69115-4_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}