A Relational Logic For Spatial Contact Based On Rough Set Approximation
Fundamenta Informaticae(2016)
摘要
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.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络