A multimodallogic for reasoning about complementarity

Journal of Applied Non-Classical Logics

Volumn 10, Issue 3-4, 2000, Pages 273-301

  Dütintsch, Ivo ^a   Konikowska, Beata ^b  

^a UNIVERSITY OF ULSTER   (United Kingdom)

^b INSTITUTE OF COMPUTER SCIENCE   (Poland)

Author keywords

Complementarity; Information relation; Rasiowa Sikorski system

Indexed keywords

EID: 0010380312     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.1080/11663081.2000.10511000     Document Type: Article

References (14)

1. E.W. Beth, The foundations of mathematics, North Holland, Amsterdam, 1959.
2. P. Blackburn, Internalizing labeled deduction, Tech. Report 102, Computerlinguistik, Universitat des Saarlandes, 1998.
3. Ivo Dtintsch, Gunther Gediga, and Ewa Orlowska, Relational attribute systems, Submitted for publication, 2000.
4. Stephane De1mi and Ewa Orlowska, Complementarity relations: reduction of decision rules and informational representability, Rough sets in knowledge discovery, Vol. 1 (Lech Polkowski and Andrzej Skowron, eds.), Physica-Verlag, Heidelberg, 1998, pp. 99-106.
5. lvo Dlintsch ond Ewa Orlowska, Logics of complementarity in information systems, Mathematical Logic Quarterly 46 (2000), 267-288.
6. M. C. Fitting, Proof methods for modal and intutionisticlogics, Reidel, Dordrecht, 1983.
7. Dov Gab bay, An irrefiexivity lemma with applications to axiomatizations of conditions on tense frames, Aspects of Philosophical Logic (U we Mtinnich, ed.), D. Reidel Publishing Co., Dordrecht, 1981, pp. 67-89.
8. B. Konikowska, A logic for reasoning about similarity, Studia Logica 58 (1997), 185-226.
9. Beata Konikcwska, A logic for reasoning about similarity, Incomplete Information - Eough Set Analysis (Ewa Orlowska, ed.), Physica - Verlag, Heidelberg, 1997, pp. 462-491.
10. W. Lipski, Informational systems with incomplete information, Third International Colloquium on Automata, Languages and Programming (University of Edinburgh) (S. Michaelson and R. Milner, eds.), Edinburgh University Press, 1976, pp. 120-130.
11. Ewa Orlowsk a and Zdzislaw Pawlak, Representation of nondeterministic information, Theoretical Computer Science 29 (1987), 27-39.
12. Ewa Orlowska, Information algebras, Proceedings of AMAST 95, Lecture Notes in Computer Science, vol. 639, Springer-Verlag, 1995.
13. Zdzislaw Pawlak, Mathematicalfoundations of information retrieval, ICS Research Report 101, Polish Academy of Sciences, 1973.
14. H. Rasiowa and R. Sikorski, The mathematics of metamathematics, Polska Akademia N auk. Monografie matematyczne, vol. 41, PWN, Warsaw, 1963.