1990
10
11433
2
44383
document
11433
coHeyt.ps
application/postscript
338611
20091208 20:39:57
http://cogprints.org/1990/2/coHeyt.ps
1990
2
2
application/postscript
application/postscript
public
coHeyt.ps

http://eprints.org/relation/hasVolatileVersion
http://cogprints.org/id/document/5275

http://eprints.org/relation/haspreviewThumbnailVersion
http://cogprints.org/id/document/5275

http://eprints.org/relation/hasVersion
http://cogprints.org/id/document/5275
archive
2513
disk0/00/00/19/90
20011218
20110311 08:54:51
20070912 16:42:16
confpaper
show
0
Rough Set Systems, can be made into several logicalgebraic structures (for instance, semisimple Nelson algebras, Heyting algebras, double Stone algebras, threevalued £ukasiewicz algebras and Chain Based Lattices). In the present paper, Rough Set Systems are analysed from the point of view of coHeyting algebras. This new chapter in the algebraic analysis of Rough Sets does not follow from aesthetic or completeness issues, but it is a pretty immediate consequence of interpreting the basic features of coHeyting algebras (originally introduced by C. Rauszer and investigated by W. Lawvere in the context of Continuum Physics), through the lenses of incomplete information analysis. Indeed Lawvere pointed out the role that the cointuitionistic negation ''non'' (dual to the intuitionistic negation ''not'') plays in grasping the geometrical notion of ''boundary'' as well as the physical concepts of ''subbody'' and ''essential core of a body'' and we aim at providing an outline of how and to what extent they are mirrored by the basic features of incomplete information analysis.

Pagliani
Piero
June 1998.
First International Conference, on Rough Sets and Current Trends in Computing
Warsaw, Poland,

Polkowski
Skowron
pub
rough sets, coHeyting algebras, boudary regions,Leibniz rule
123130
FALSE
Springer
TRUE
M. Banerjee & M. Chakraborthy, Rough Sets Through Algebraic Logic. Fundamenta Informaticae, 28, 1996, pp. 211221.
P. T. Johnstone, Conditions related to De Morgan's law. In M. P. Fourman, C. J. Mulvey & D. S. Scott (eds.), Applications of Sheaves (Durham 1977), LNM 753, SpringerVerlag, 1979, pp. 479491.
F. W. Lawvere, Introduction to F. W. Lawvere & S. Schanuel (eds.), Categories in Continuum Physics, (Buffalo 1982), LNM 1174, SpringerVerlag, 1986.
F. W. Lawvere, Intrinsic coHeyting boundaries and the Leibniz rule in certain toposes. In A. Carboni, M. C. Pedicchio & G. Rosolini (eds.), Category Theory. (Como 1990), LNM 1488, SpringerVerlag 1991, pp. 279297.
E: Or³owska, Logic for reasoning about knowledge. In W. P. Ziarko (ed.) Rough Sets, Fuzzy Sets and Knowledge Discovery, SpringerVerlag, 1994, pp. 227236.
Z. Pawlak, Rough Sets: A Theoretical Approach to Reasoning about Data. Kluwer, 1991.
P. Pagliani, Rough Set System and Logicalgebraic Structures. In E. Or³owska (ed.): \Incomplete Information: Rough Set Analysis} PhysicaVerlag, 1997, pp. 109190.
C. Rauszer, SemiBoolean algebras and their application to intuitionistic logic with dual operations. Fundamenta Mathematicae. LXXIII, 1974, pp. 219249.
G. E. Reyes & N. Zolfaghari, BiHeyting Algebras, Toposes and Modalities. Journ.of Philosophical Logic, 25, 1996, pp. 2543.
 compsciartintel
 phillogic
Intrinsic coHeyting boundaries and information incompleteness in Rough Set Analysis
1424
published
1998
public