A logic for rough sets

Theoretical Computer Science

Volumn 179, Issue 1-2, 1997, Pages 427-436

  Düntsch, Ivo ^a  

^a UNIVERSITY OF ULSTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; BOOLEAN ALGEBRA; COMPUTATIONAL LINGUISTICS; DATA REDUCTION; FORMAL LOGIC;

CLASSICAL PROPOSITIONAL LOGIC; ROUGH SETS; STONE ALGEBRA;

SET THEORY;

EID: 0031165727     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00334-9     Document Type: Article

References (29)

1. H. Andréka, Universal algebraic logic, Ph.D. Dissertation, Hungarian Academy of Sciences, Budapest, 1975.
2. H. Andréka and I. Németi, General algebraic logic: a perspective on 'What is logic', in: D.M. Gabbay, ed., What is a Logical System? Studies in Logic and Computation, Vol. 4 (Clarendon Press, Oxford, 1994) 393-443.
3. H. Andréka, I. Németi and I. Sain, Abstract model theoretic approach to algebraic logic, CCSOM Working Paper 92-92, Department of Statistics and Methodology, University of Amsterdam, 1992.
4. H. Andréka and I. Sain, Connections between algebraic logic and initial algebra semantics of CF languages, in: Dömölki and Gergely, eds., [8], 25-83.
5. R. Balbes and P. Dwinger, Distributive Lattices (University of Missouri Press, Columbia, 1974).
6. S. Comer, An algebraic approach to the approximation of information, Fund. Inform. 14 (1991) 492-502.
7. S. Comer, On connections between information systems, rough sets, and algebraic logic, in: Algebraic Methods in Logic and Computer Science, Banach Center Publications 28, 1993.
8. B. Dömölki and T. Gergely, eds., Mathematical logic in computer science Proc. Coll. Salgótarján, 1978, Colloq. Math. Soc. J. Bolyai, Vol. 26 (Elsevier, Amsterdam, 1981).
9. I. Düntsch, On free or projective Stone algebras, Houston J. Math. 9 (1983) 455-463.
10. I. Düntsch, Rough relation algebras, Fund. Inform. 21 (1994) 321-331.
11. I. Düntsch, Rough sets and algebras, in Orlowska, ed., in preparation.
12. I. Düntsch and G. Gediga, Entailment of relations, in progress.
13. R.L. Epstein, The semantic foundations of logic - prepositional logics, Nijhoff International Philosophy Series, Vol. 35 (Kluwer, Dordrecht, 1990).
14. L. Henkin, J.D. Monk and A. Tarski, Cylindric Algebras, Part II (North-Holland, Amsterdam, 1985).
15. J. Huebener, Complementation in the lattice of regular topologies, Pacific J. Math. 41 (1972) 139-149.
16. T. Katriňák, Construction of regular double p-algebras, Bull. Soc. Roy. Sci. Liège 43 (1974) 294-301.
17. T.Y. Lin, Topological and fuzzy rough sets, in: Intelligent Decision Support: Handbook of Applications and Advances of Rough Set Theory (Kluwer, Dordrecht, 1992) 287-304.
18. I. Németi, Connections between cylindric algebras and initial algebra semantics of CF languages, in: Dömölki and Gergely, eds., [8] 561-605.
19. E. Orlowska, Modal logics in the theory of information systems, Z. Math. Logik Grundlag. Math. 30 (1984) 213-222.
20. E. Orlowska, Logic for reasoning about knowledge, Z. Math. Logik Grundlag. Math. 35 (1989) 559-572.
21. E. Orlowska, ed., Modeling incomplete information - fundamentals and application, in preparation.
22. P. Pagliani, Rough sets theory and logic-algebraic structures, in: Orlowska, ed., in preparation.
23. Z. Pawlak, Rough Sets: Theoretical Aspects of Reasoning about Data (Kluwer, Dordrecht, 1991).
24. J. Pomykala and J.A. Pomykala, The Stone algebra of rough sets, Bull. Polish Acad. Sci. Math. 36 (1988) 495-508.
25. I. Sain, There are general rules for specifying semantics: observations on abstract model theory, Comput. Linguistics Comput. Languages 13 (1979) 195-250.
26. R. Słowiński, Intelligent Decision Support: Handbook of Applications and Advances of Rough Set Theory (Kluwer, Dordrecht, 1992).
27. D. Vakarelov, Notes on N-lattices and constructive logic with strong negation, Studia Logica 36 (1977) 109-125.
28. J.C. Varlet, Algèbres des Łukasiewicz trivalentes, Bull. Soc. Roy. Sci. Liège 36 (1968) 399-408.
29. J.C. Varlet, A regular variety of type (2,2,1,1,0,0), Algebra Universalis 2 (1972) 218-223.