A Logic for Reasoning about Relative Similarity

Studia Logica

Volumn 58, Issue 1, 1997, Pages 185-226

  Konikowska, Beata ^a  

^a INSTITUTE OF COMPUTER SCIENCE   (Poland)

Author keywords

Completeness; Entities; Lower and upper approximations; Multi modal logics; Properties; Rough sets; Similarity

Indexed keywords

EID: 0000106182     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1004952317628     Document Type: Article

References (11)

1. BETH, E. W., 1959, The Foundations of Mathematics, North-Holland.
2. FITTING, M., 1983, Proof Methods for Modal and Intuitionistic Logics, D. Reidel Publishing Company, Dordrecht.
3. KOLETSOS, G., 1978, Sequent calculus and partial logic, M.Sc. Thesis, University of Manchester.
4. KONIKOWSKA, B., 'A logic for reasoning about similarity', to appear in: E. Orlowska, ed., Reasoning with incomplete information: The rough set approach.
5. KONIKOWSKA, B., A. TARLECKI, A. BLIKLE, 1991, 'A three-valued logic for software specification and validation', Fundamenta Informaticae 14, 411-453.
6. LYNDON, C., 1964, Notes on Logic, D. Van Nostrand, Princeton.
7. ORLOWSKA, E., 1985, 'Logic of indiscernibility relations', Bull. Pol. Acad. Sci. 33, 467-485.
8. PAWLAK, Z., 1982, 'Rough sets', Intl. Journ. of Comp. and Inf. Sci. 11, 341-356.
9. RASIOWA, H., R. SIKORSKI, 1963, The mathematics of metamathematics, Warsaw, PWN.
10. VAKARELOV, D., 1991, 'Modal logics for similarity relations in Pawlak knowledge representation systems', Fundamente, Informaticae 15, 61-79.
11. VAKARELOV, D., 1991, 'Logical analysis of positive and negative similarity relations in property systems', Proceedings of First World Conference on the Fundamentals of AI, Paris.