A Relational Logic for Spatial Contact Based on Rough Set Approximation

Ivo Duentsch, Ewa Orłowskay, Hui Wang

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

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
JournalFundamenta Informaticae
Volume148
Issue number1-2
DOIs
Publication statusPublished - 24 Dec 2016

Keywords

  • Relational Logic
  • Spatial Contact Relation
  • Rough Set

Fingerprint 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