A Relational Logic for Spatial Contact Based on Rough Set Approximation

Ivo Duentsch, Ewa Orłowskay, Hui Wang

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)


In previous work we have presented a class of algebras enhanced with two contact relations representing rough set style approximations of a spatial contact relation. In this paper, we develop a class of relational systems which is mutually interpretable with that class of algebras, and we consider a relational logic whose semantics is determined by those relational systems. For this relational logic we construct a proof system in the spirit of Rasiowa-Sikorski, and we outline the proofs of its soundness and completeness.
Original languageEnglish
Pages (from-to)191-206
Number of pages16
JournalFundamenta Informaticae
Issue number1-2
Publication statusPublished - 24 Dec 2016
Externally publishedYes


  • Relational Logic
  • Spatial Contact Relation
  • Rough Set


Dive into the research topics of 'A Relational Logic for Spatial Contact Based on Rough Set Approximation'. Together they form a unique fingerprint.

Cite this