Logics of complementarity in information systems

Mathematical Logic Quarterly

Volumn 46, Issue 2, 2000, Pages 267-288

  Düntsch, Ivo ^a   Orłowska, Ewa ^b  

^a UNIVERSITY OF ULSTER   (United Kingdom)

^b Institute of Telecommunications   (Poland)

Author keywords

Complementarity relation; Information system; Modal logic; Sufficiency operator

Indexed keywords

EID: 0034344082     PISSN: 09425616     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1521-3870(200005)46:2<267::AID-MALQ267>3.0.CO;2-R     Document Type: Article

References (29)

1. BALBIANI, P., Axiomatisation of logics based on Kripke models with relative accessibility relations. In: Incomplete Information - Rough Set Analysis (E. ORŁOWSKA, ed.), Physica-Verlag, Heidelberg 1997.
2. BALBIANI, P., and E. ORŁOWSKA, A hierarchy of modal logics with relative accessibility relations. Journal of Applied Non-Classical Logics (to appear).
3. CHELLAS, B. F., Modal Logic: An Introduction. Cambridge University Press, Cambridge 1980.
4. DEMRI, S., A logic with relative knowledge operators. Journal of Logic, Language and Information 8 (1999), 167-185.
5. DEMRI, S., and R. GORE, Display calculi for logics with relative accessibility relations. Technical report TR-ARP-04-94, Automated Reasoning Project, Australian National University 1998.
6. DEMRI, S., and B. KONIKOWSKA, Relative similarity logics are decidable: Reduction to FO2 with equality. In: Proceedings of the European Workshop on Logics in Artificial Intelligence JELIA'98.
7. DEMRI, S., and E. ORŁOWSKA, Complementarity relations: Reduction of decision rules and informational representability. In: Rough sets in knowledge discovery, Vol. 1, (L. POLKOWSKI and A. SKOWRON. eds.), Physica-Verlag, Heidelberg 1998, pp. 99-106.
8. DIDAY, E., Introduction a l'approche symbolique en analyse des données. In: Actes des journées symboliques-numeriques pour l'apprentissage de connaissances a partir des donnés. Paris 1987.
9. DIDAY, E., and L. ROY, Generating rules by symbolic data analysis and application to soil feature recognition. In: Actes des 8èmes Journées Internationales: Les systèmes experts et leurs applications. Avignon 1988.
10. DÜNTSCH, I., and E. ORŁOWSKA, Beyond modalities: Sufficiency and mixed algebras. Submitted for publication.
11. DÜNTSCH, I., and E. ORŁOWSKA, Mixing modal and sufficiency operators. Bulletin of the Section of Logic, Polish Academy of Sciences 28 (1999), 99-106.
12. DÜNTSCH, I., and E. ORŁOWSKA, A proof system for contact relation algebras. Journal of Philosophical Logic (to appear).
13. DÜNTSCH, I., H. WANG, and S. MCCLOSKEY, Relation algebras in qualitative spatial reasoning. Fundamenta Informaticae (to appear).
14. GARGOV, G., S. PASSY, and T. TINCHEV, Modal environment for Boolean speculations. In: Mathematical Logic and Applications (D. SKORDEV, ed.), Plenum Press, New York 1987, pp. 253-263.
15. GREEN, J., N. HORNE, E. ORŁOWSKA, and P. SIEMERS, A rough set model of information retrieval. Fundamenta Informaticae 28 (1996), 273-296.
16. KONIKOWSKA, B., A logic for reasoning about similarity. Studia Logica 58 (1997), 185-226.
17. LlPSKI, W., On semantic issues connected with incomplete information data bases. ACM Trans. Database Systems 4 (1976), 262-296.
18. LIPSKI, W., Informational systems with incomplete information. In: Third International Colloquium on Automata, Languages and Programming (S. MICHAELSON and R. MILNER, eds.), Edinburgh University Press, Edinburgh 1976, pp. 120-130.
19. ORŁOWSKA, E., Kripke models with relative accessibility relations and their applications to inference with incomplete information. In: Mathematical Problems in Computation Theory (G. MIRKOWSKA and H. RASIOWA, eds.), Vol. 21 of Banach Center Publications, PWN, Warsaw 1988, pp. 327-337.
20. ORŁOWSKA, E., Relational interpretation of modal logics. In: Algebraic Logic (H. ANDRÉKA, J. D. MONK and I. NÉMETI, eds.), Vol. 54 of Colloquia Mathematica Societatis János Bolyai, North-Holland Publ. Comp., Amsterdam 1991, pp. 443-471.
21. ORŁOWSKA, E., Relational proof systems for modal logics. In: Proof theory of modal logic (H. WANSING, ed.), Kluwer Acad. Publ., Dordrecht 1996, pp. 55-78.
22. ORŁOWSKA, E. (ed.), Incomplete Information - Rough Set Analysis. Physica-Verlag, Heidelberg 1997.
23. ORŁOWSKA, E., Relational formalisation of nonclassical logics. In: Relational Methods in Computer Science (C. BRINK, W. KAHL and G. SCHMIDT, ed.), Springer-Verlag, Berlin-Heidelberg-New York 1997, pp. 90-105.
24. ORŁOWSKA, E., Studying incompleteness of information: A class of information logics. In: The Lvov-Warsaw School and Contemporary Philosophy (K. KIJANIA-PLACEK and J. WOLENSKI, eds.), Kluwer Aced. Publ., Dordrecht 1998, pp. 283-300.
25. PREDIGER, S., Symbolic objects in formal concept analysis. Preprint 1923, Fachbereich Mathematik, Technische Hohschule Darmstadt 1997.
26. RASIOWA, H., and R. SIKORSKI, The Mathematics of Metamathematics. PWN, Warsaw 1963.
27. VAKARELOV, D., Information systems, similarity relations, and modal logics. In: Incomplete Information - Rough Set Analysis (E. ORŁOWSKA, ed.), Physica-Verlag, Heidelberg 1997, pp. 492-550.
28. WANG, H., I. Düntsch, and D. BELL, Data reduction based on hyper relations. In: Proceedings of KDD'98 (R. AGRAWAL, P. STOLORZ and G. PIATETSKY-SHAPIRO, eds.), New York 1998, pp. 349-353.
29. WANG, H., I. DÜNTSCH, and G. GEDIGA, Classificatory filtering in decision systems. Submitted for publication.