{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T11:26:44Z","timestamp":1750850804534},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540160663"},{"type":"electronic","value":"9783540397489"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-16066-3_25","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:36:14Z","timestamp":1330176974000},"page":"298-317","source":"Crossref","is-referenced-by-count":8,"title":["An equivalence between indiscernibility relations in information systems and a fragment of intuitionistic logic"],"prefix":"10.1007","author":[{"given":"Cecylia M.","family":"Rauszer","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"25_CR1","first-page":"580","volume-title":"Dependency structures of database relationships, Proc. IFIP 74","author":"W. W. Armstrong","year":"1974","unstructured":"W.W. Armstrong, Dependency structures of database relationships, Proc. IFIP 74, North-Holland Publ. Co., Amsterdam, 1974, pp.580\u2013583"},{"issue":"6","key":"25_CR2","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E. F. Codd","year":"1970","unstructured":"E.F. Codd, A relational model of data for large shared data banks, Commun. ACM 13, 6 (June 1970), pp.377\u2013387","journal-title":"Commun. ACM"},{"key":"25_CR3","unstructured":"A.Diego, Les alg\u00e8bres de Hilbert, Paris (1966)"},{"issue":"4","key":"25_CR4","doi-asserted-by":"crossref","first-page":"952","DOI":"10.1145\/322344.322347","volume":"29","author":"R. Fagin","year":"1982","unstructured":"R. Fagin, Horn clauses and database dependencies, Journal of the ACM, Vol.29, No 4, (Oct. 1982), pp.952\u2013985","journal-title":"Journal of the ACM"},{"key":"25_CR5","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1935","unstructured":"G. Gentzen, Untersuchungen \u00fcber das logische Schliessen I, II, Mathematische Zeitschrift, Vol. 39(1935), pp.176\u2013210, 405\u2013443.","journal-title":"Mathematische Zeitschrift"},{"key":"25_CR6","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/0304-3975(76)90077-3","volume":"1","author":"W. Marek","year":"1976","unstructured":"W. Marek, Z. Pawlak, On information storage and retrieval systems, Theoretical Computer Science 1(1976), pp.331\u2013354","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"25_CR7","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0306-4379(81)90023-5","volume":"6","author":"Z. Pawlak","year":"1981","unstructured":"Z. Pawlak, Information system theoretical foundations, Inform. Systems, Vol.6, No 3 (1981), pp.205\u2013218","journal-title":"Inform. Systems"},{"key":"25_CR8","unstructured":"Z.Pawlak, Rough classification, CC PAS Reports, No 506, Warszawa 1983"},{"key":"25_CR9","unstructured":"Z.Pawlak, C.Rauszer, Dependency of attributes in information systems (to appear)"},{"key":"25_CR10","unstructured":"C.Rauszer, Algebraic properties of functional dependencies (to appear)"}],"container-title":["Lecture Notes in Computer Science","Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16066-3_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T17:02:52Z","timestamp":1619542972000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16066-3_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540160663","9783540397489"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-16066-3_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}