{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:50:50Z","timestamp":1725511850050},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540716624"},{"type":"electronic","value":"9783540716631"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71663-1_2","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T10:23:04Z","timestamp":1180520584000},"page":"16-35","source":"Crossref","is-referenced-by-count":11,"title":["Relational Attribute Systems II: Reasoning with Relations in Information Structures"],"prefix":"10.1007","author":[{"given":"Ivo","family":"D\u00fcntsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00fcnther","family":"Gediga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ewa","family":"Or\u0142owska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"11","key":"2_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM\u00a026(11), 832\u2013843 (1983)","journal-title":"Communications of the ACM"},{"issue":"3\u20134","key":"2_CR2","doi-asserted-by":"publisher","first-page":"251","DOI":"10.3166\/jancl.16.251-277","volume":"16","author":"D. Bresolin","year":"2006","unstructured":"Bresolin, D., Goli\u0144ska-Pilarek, J., Or\u0142owska, E.: Relational dual tableaux for interval temporal logics. Journal of Applied Non-Classical Logics\u00a016(3\u20134), 251\u2013277 (2006)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2_CR3","unstructured":"Cottrell, R., D\u00fcntsch, I.: An implementation of multivalued information systems. In: D\u00fcntsch, I., Winter, M. (eds.) Proceedings of the 8th International Workshop on Relational Methods in Computer Science - RelMiCS\u20198, St Catharines, pp. 31\u201336 (2005)"},{"key":"2_CR4","unstructured":"Dallien, J.: RelDT: Relational dual tableaux automated theorem prover (2005), Available at http:\/\/logic.stfx.ca\/reldt\/index.html"},{"key":"2_CR5","series-title":"EATCS Monographs in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04997-6","volume-title":"Incomplete Information: Structure, Inference, Complexity","author":"S. Demri","year":"2002","unstructured":"Demri, S., Or\u0142owska, E.: Incomplete Information: Structure, Inference, Complexity. EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2002)"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/s10462-004-5899-8","volume":"23","author":"I. D\u00fcntsch","year":"2005","unstructured":"D\u00fcntsch, I.: Relation algebras and their application in temporal and spatial reasoning. Artificial Intelligence Review\u00a023, 315\u2013357 (2005)","journal-title":"Artificial Intelligence Review"},{"key":"2_CR7","first-page":"281","volume-title":"Encyclopedia of Computer Science and Technology, vol. 43","author":"I. D\u00fcntsch","year":"2000","unstructured":"D\u00fcntsch, I., Gediga, G.: Rough set data analysis. In: Encyclopedia of Computer Science and Technology, vol. 43, pp. 281\u2013301. Marcel Dekker, New York (2000)"},{"issue":"3","key":"2_CR8","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1006\/ijhc.2001.0468","volume":"55","author":"I. D\u00fcntsch","year":"2001","unstructured":"D\u00fcntsch, I., Gediga, G., Or\u0142owska, E.: Relational attribute systems. International Journal of Human Computer Studies\u00a055(3), 293\u2013309 (2001)","journal-title":"International Journal of Human Computer Studies"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1004764610651","volume":"29","author":"I. D\u00fcntsch","year":"2000","unstructured":"D\u00fcntsch, I., Or\u0142owska, E.: A proof system for contact relation algebras. Journal of Philosophical Logic\u00a029, 241\u2013262 (2000)","journal-title":"Journal of Philosophical Logic"},{"issue":"3\u20134","key":"2_CR10","doi-asserted-by":"publisher","first-page":"367","DOI":"10.3166\/jancl.16.367-408","volume":"16","author":"A. Formisano","year":"2006","unstructured":"Formisano, A., Nicolosi, M.: An efficient relational deductive system for propositional nonclassical logics. Journal of Applied Non-Classical Logics\u00a016(3\u20134), 367\u2013408 (2006)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2_CR11","unstructured":"Frias, M., Or\u0142owska, E.: A proof system for fork algebras and its applications to reasoning in logics based on intuitionism. Logique et Analyse, 150\u2013152: 239\u2013284 (1995)"},{"key":"2_CR12","unstructured":"Furusawa, H.: Algebraic formalisations of fuzzy relations and their representability. PhD thesis, Kyushu University, Fukuoka (1998)"},{"key":"2_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/11964810_7","volume-title":"Theory and Applications of Relational Structures as Knowledge Instruments II","author":"J. Goli\u0144ska-Pilarek","year":"2006","unstructured":"Goli\u0144ska-Pilarek, J., Or\u0142owska, E.: Relational logics and their applications. In: de Swart, H., et al. (eds.) TARSKI 2006. LNCS (LNAI), vol.\u00a04342, pp. 125\u2013163. Springer, Heidelberg (2006)"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0165-0114(97)00061-4","volume":"119","author":"Y. Kawahara","year":"1999","unstructured":"Kawahara, Y., Furusawa, H.: An algebraic formalization of fuzzy relations. Fuzzy Sets and Systems\u00a0119, 125\u2013135 (1999)","journal-title":"Fuzzy Sets and Systems"},{"key":"2_CR15","first-page":"120","volume-title":"Third International Colloquium on Automata, Languages and Programming","author":"W. Lipski","year":"1976","unstructured":"Lipski, W.: Informational systems with incomplete information. In: Michaelson, S., Milner, R. (eds.) Third International Colloquium on Automata, Languages and Programming, pp. 120\u2013130. Edinburgh University Press, Edinburgh (1976)"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/322234.322239","volume":"28","author":"W. Lipski","year":"1981","unstructured":"Lipski, W.: On databases with incomplete information. Journal of the ACM\u00a028, 41\u201370 (1981)","journal-title":"Journal of the ACM"},{"issue":"2","key":"2_CR17","doi-asserted-by":"publisher","first-page":"623","DOI":"10.2307\/2586855","volume":"63","author":"W. MacCaull","year":"1998","unstructured":"MacCaull, W.: Relational semantics and a relational proof system for the full Lambek calculus. Journal of Symbolic Logic\u00a063(2), 623\u2013637 (1998)","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"2_CR18","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1023\/A:1020572931854","volume":"71","author":"W. MacCaull","year":"2002","unstructured":"MacCaull, W., Or\u0142owska, E.: Correspondence results for relational proof systems with application to the Lambek calculus. Studia Logica\u00a071(3), 389\u2013414 (2002)","journal-title":"Studia Logica"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"MacCaull, W., Or\u0142owska, E.: A logic of typed relations and its applications to relational databases. To appear in the Journal of Logic and Computation (2005), available at http:\/\/logic.stfx.ca\/reldt\/pubs.html","DOI":"10.1093\/logcom\/exl010"},{"key":"2_CR20","first-page":"27","volume-title":"Algebraic Methodology and Software Technology (AMAST \u201993), Workshops in Computing","author":"R. Maddux","year":"1993","unstructured":"Maddux, R.: Relation algebras for reasoning about time and space. In: Nivat, M., et al. (eds.) Algebraic Methodology and Software Technology (AMAST \u201993), Workshops in Computing, pp. 27\u201344. Springer, New York (1993)"},{"key":"2_CR21","series-title":"Colloquia mathematica Societatis J\u01cenos Bolyai","first-page":"443","volume-title":"Algebraic Logic","author":"E. Or\u0142owska","year":"1991","unstructured":"Or\u0142owska, E.: Relational interpretation of modal logics. In: Andr\u00e9ka, H., Nemeti, I., Monk, D. (eds.) Algebraic Logic. Colloquia mathematica Societatis J\u01cenos Bolyai, vol.\u00a054, pp. 443\u2013471. North-Holland, Amsterdam (1991)"},{"key":"2_CR22","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-015-8273-5_11","volume-title":"Philosophical Logic in Poland","author":"E. Orlowska","year":"1994","unstructured":"Orlowska, E.: Relational semantics for non-classical logics: Formulas are relations. In: Wolenski, J. (ed.) Philosophical Logic in Poland, pp. 167\u2013186. Kluwer Academic Publishers, Dordrecht (1994)"},{"key":"2_CR23","first-page":"55","volume-title":"Proof Theory of Modal Logic","author":"E. Orlowska","year":"1995","unstructured":"Orlowska, E.: Relational proof systems for modal logics. In: Wansing, H. (ed.) Proof Theory of Modal Logic, pp. 55\u201377. Kluwer Academic Publishers, Dordrecht (1995)"},{"key":"2_CR24","series-title":"Advances in Computing Science","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/978-3-7091-6510-2_6","volume-title":"Relational Methods in Computer Science","author":"E. Or\u0142owska","year":"1997","unstructured":"Or\u0142owska, E.: Relational formalisation of nonclassical logics. In: Relational Methods in Computer Science. Advances in Computing Science, pp. 90\u2013105. Springer, Wien (1997)"},{"key":"2_CR25","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/978-94-011-5108-5_23","volume-title":"The Lvov-Warsaw School and Contemporary Philosophy","author":"E. Or\u0142owska","year":"1998","unstructured":"Or\u0142owska, E.: Studying incompleteness of information: A class of information logics. In: Kijania-Placek, K., Wolenski, J. (eds.) The Lvov-Warsaw School and Contemporary Philosophy, pp. 283\u2013300. Kluwer, Dordrecht (1998)"},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0304-3975(84)90010-0","volume":"29","author":"E. Or\u0142owska","year":"1984","unstructured":"Or\u0142owska, E., Pawlak, Z.: Representation of nondeterministic information. Theoretical Computer Science\u00a029, 27\u201339 (1984)","journal-title":"Theoretical Computer Science"},{"key":"2_CR27","series-title":"Lecture Notes in Computer Science","first-page":"177","volume-title":"Relational Methods in Computer Science","author":"E. Or\u0142owska","year":"2002","unstructured":"Or\u0142owska, E., Radzikowska, A.: Double residuated lattices and their applications. In: de Swart, H. (ed.) RelMiCS 2001. LNCS, vol.\u00a02561, pp. 177\u2013198. Springer, Heidelberg (2002)"},{"key":"2_CR28","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0306-4379(81)90023-5","volume":"6","author":"Z. Pawlak","year":"1981","unstructured":"Pawlak, Z.: Information systems, theoretical foundations. Information Systems\u00a06, 205\u2013218 (1981)","journal-title":"Information Systems"},{"key":"2_CR29","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z. Pawlak","year":"1982","unstructured":"Pawlak, Z.: Rough sets. Internat. J. Comput. Inform. Sci.\u00a011, 341\u2013356 (1982)","journal-title":"Internat. J. Comput. Inform. Sci."},{"key":"2_CR30","volume-title":"IEEE International Symposium on Multiple-Valued Logic (ISMVL)","author":"A. Radzikowska","year":"2001","unstructured":"Radzikowska, A., Kerre, E.E.: On some classes of fuzzy information relations. In: IEEE International Symposium on Multiple-Valued Logic (ISMVL), IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"2_CR31","series-title":"Polska Akademia Nauk. Monografie matematyczne","volume-title":"The Mathematics of Metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"Rasiowa, H., Sikorski, R.: The Mathematics of Metamathematics. Polska Akademia Nauk. Monografie matematyczne, vol.\u00a041. Polish Scientific Publishers, Warsaw (1963)"},{"key":"2_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83608-4","volume-title":"Relationen und Graphen","author":"G. Schmidt","year":"1989","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relationen und Graphen. Springer, Heidelberg (1989), English version: Relations and Graphs. In: Discrete Mathematics for Computer Scientists, EATCS Monographs on Comp. Sci., Springer (1993)"},{"key":"2_CR33","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"Tarski, A.: On the calculus of relations. Journal of Symbolic Logic\u00a06, 73\u201389 (1941)","journal-title":"Journal of Symbolic Logic"},{"key":"2_CR34","volume-title":"Introduction to Logic and the Methodology of Deductive Sciences","author":"A. Tarski","year":"1965","unstructured":"Tarski, A.: Introduction to Logic and the Methodology of Deductive Sciences. Oxford University Press, Oxford (1965)"},{"key":"2_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/3-540-51237-3_21","volume-title":"Logic at Botik \u201989","author":"D. Vakarelov","year":"1989","unstructured":"Vakarelov, D.: Modal logics for knowledge representation systems. In: Meyer, A.R., Taitslin, M.A. (eds.) Logic at Botik 1989. LNCS, vol.\u00a0363, pp. 257\u2013277. Springer, Heidelberg (1989)"},{"key":"2_CR36","unstructured":"Vakarelov, D.: A modal logic for set relations. In: 10th International Congress of Logic, Methodology and Philosophy of Science, Volume of abstracts, Florence (1995)"},{"key":"2_CR37","doi-asserted-by":"crossref","first-page":"492","DOI":"10.1007\/978-3-7908-1888-8_16","volume-title":"Incomplete Information \u2013 Rough Set Analysis","author":"D. Vakarelov","year":"1998","unstructured":"Vakarelov, D.: Information systems, similarity relations, and modal logics. In: Or\u0142owska, E. (ed.) Incomplete Information \u2013 Rough Set Analysis, pp. 492\u2013550. Physica, Heidelberg (1998)"},{"issue":"3\u20134","key":"2_CR38","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/S0020-0255(01)00167-0","volume":"139","author":"M. Winter","year":"2001","unstructured":"Winter, M.: A new Algebraic Approach to L-Fuzzy Relations convenient to study Crispness. Information Sciences\u00a0139(3\u20134), 233\u2013252 (2001)","journal-title":"Information Sciences"},{"issue":"1","key":"2_CR39","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0165-0114(02)00508-0","volume":"138","author":"M. Winter","year":"2003","unstructured":"Winter, M.: Representation Theory of Goguen Categories. Fuzzy Sets and Systems\u00a0138(1), 85\u2013126 (2003)","journal-title":"Fuzzy Sets and Systems"}],"container-title":["Lecture Notes in Computer Science","Transactions on Rough Sets VII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71663-1_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:24:31Z","timestamp":1605745471000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71663-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540716624","9783540716631"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71663-1_2","relation":{},"subject":[]}}