?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Intrinsic+co-Heyting+boundaries+and+information+incompleteness+in+Rough+Set+Analysis&rft.creator=Pagliani%2C+Piero&rft.subject=Artificial+Intelligence&rft.subject=Logic&rft.description=Rough+Set+Systems%2C+can+be+made+into+several+logic-algebraic+structures+(for+instance%2C+semi-simple+Nelson+algebras%2C+Heyting+algebras%2C+double+Stone+algebras%2C+three-valued+%C2%A3ukasiewicz+algebras+and+Chain+Based+Lattices).+In+the+present+paper%2C+Rough+Set+Systems+are+analysed+from+the+point+of+view+of+co-Heyting+algebras.+This+new+chapter+in+the+algebraic+analysis+of+Rough+Sets+does+not+follow+from+aesthetic+or+completeness+issues%2C+but+it+is+a+pretty+immediate+consequence+of+interpreting+the+basic+features+of+co-Heyting+algebras+(originally+introduced+by+C.+Rauszer+and+investigated+by+W.+Lawvere+in+the+context+of+Continuum+Physics)%2C+through+the+lenses+of+incomplete+information+analysis.+Indeed+Lawvere+pointed+out+the+role+that+the+co-intuitionistic+negation+''non''+(dual+to+the+intuitionistic+negation+''not'')+plays+in+grasping+the+geometrical+notion+of+''boundary''+as+well+as+the+physical+concepts+of+''sub-body''+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.+&rft.publisher=Springer&rft.contributor=Polkowski%2C++Skowron&rft.date=1998&rft.type=Conference+Paper&rft.type=PeerReviewed&rft.format=application%2Fpostscript&rft.identifier=http%3A%2F%2Fcogprints.org%2F1990%2F2%2Fco-Heyt.ps&rft.identifier=++Pagliani%2C+Piero++(1998)+Intrinsic+co-Heyting+boundaries+and+information+incompleteness+in+Rough+Set+Analysis.++%5BConference+Paper%5D+++++&rft.relation=http%3A%2F%2Fcogprints.org%2F1990%2F