Abstract
The paper presents an analysis of rough sets, rough top equality and rough bottom equality by means of pure logic-algebraic operations. Namely given an Approximation Space A, we can represent the induced rough sets structure as a particular Nelson algebra N(A) with a weak negation and a strong negation; in its turn N(A) can be viewed as a particular Heyting algebra equipped by its own pseudocomplementation. The relationships among these operations of negation reveal to fulfil some very peculiar properties that are able to provide the logic framework within which we can systematically deduce all the properties of rough (top, bottom) equalities.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
G. Gierz, K. H. Hofmann, K. Keimei, J. D. Lawson, M. Mislove and D. Scott, A compendium of continuous lattices, Springer Verlag, 1980.
T. B. Iwinski, Rough Orders and Rough Concepts, Bull. Polish Acad. of Sciences, Math., 37 (3–4), 1988, pp. 187–192.
V. Boicescu, A. Filipoiu, G. Georgescu and S. Rudeanu, Lukasiewicz-Moisil Algebras, North-Holland, Amsterdam-New York-Oxford-Tokio. 1991.
M. Novotny and Z. Pawlak, Characterization of Rough Top Equalities and Rough Bottom Equalities, Bull. Polish Acad. of Sciences, Math., 33 (1–2), 1985, pp. 91–97.
M. Novotny and Z. Pawlak, On Rough Equalities, Bull. Polish Acad. of Sciences, Math., 33 (1–2), 1985, pp. 99–104.
M. Novotny and Z. Pawlak, Black box analysis and Rough Top Equalities, Bull. Polish Acad. of Science., Math., 33 (1–2), 1985, pp. 105–113.
P.Pagliani, A computer oriented representation of Modal Spaces and Pseudo Boolean Algebras with application to a system of non-deterministic information, Internal Report PAG/2, Universita’ di Milano, Ist. Scienza dell’Informaz ione. 1986.
P. Pagliani, Some remarks on Special Lattices and related constructive logics with strong negation, Notre Dame Jour. of Formal Logic, 31 (4), 1990, pp. 515–528.
P. Pagliani, An Algebraic Analysis on Rough Sets Systems, I: Rough Sets and Nelson Algebras, 1992 (to appear).
Z. Pawlak, Rough Sets, ICS PAS Reports, 431, 1981.
Z. Pawlak, Rough Sets. Algebraic and Topological approach, Intern. Journ. of Inf. and Comp. Sciences, 11, 1982, pp. 341–366.
Z. Pawlak, Rough Sets: A Theoretical Approach to Reasoning about Data. Kluwer, Dordrecht-Boston, 1991.
J. Pomykala and J. A. Pomykala, The Stone Algebra of Rough Sets, Bull. Polish Acad. of Sciences, Math., 36 (7–8), 1988, pp 495–508.
II. Rasiowa, An Algebraic Approach to Non Classical Logics, North-Holland, Amsterdam-New York-Oxford-Tokio, 1974.
A. Sendlewski, Nelson Algebras Through Heyting Ones: I. Studia Logica, 49 (1), 1990, pp. 105–126.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 British Computer Society
About this paper
Cite this paper
Pagliani, P. (1994). A Pure Logic-algebraic Analysis of Rough Top and Rough Bottom Equalities. In: Ziarko, W.P. (eds) Rough Sets, Fuzzy Sets and Knowledge Discovery. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3238-7_27
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3238-7_27
Publisher Name: Springer, London
Print ISBN: 978-3-540-19885-7
Online ISBN: 978-1-4471-3238-7
eBook Packages: Springer Book Archive