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.
- Relational Logic
- Spatial Contact Relation
- Rough Set
Duentsch, I., Orłowskay, E., & Wang, H. (2016). A Relational Logic for Spatial Contact Based on Rough Set Approximation. Fundamenta Informaticae, 148(1-2), 191-206. https://doi.org/10.3233/FI-2016-1430