Affiliations: [a] Brock University, St. Catharines, Ontario, L2S 3A1, Canada. duentsch@brocku.ca | [b] Institute of Telecommunications, Szachowa 1, 04-894, Warszawa, Poland. E.Orlowska@itl.waw.pl | [c] School of Computing and Mathematics, University of Ulster at Jordanstown, Newtownabbey, BT 37 0QB, N.Ireland. H.Wang@ulster.ac.uk
Correspondence:
[*]
Address for correspondence: Brock University, St. Catharines, Ontario, L2S 3A1, Canada
Note: [†] Ivo Düntsch gratefully acknowledges support by the Natural Sciences and Engineering Research Council of Canada Discovery Grant 250153.
Note: [‡] Ewa Orlowska gratefully acknowledges partial support from the National Science Centre project DEC-2011/02/A/HS1/00395.
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.
