Logics of complementarity in information systems

Title:	Logics of complementarity in information systems
Authors:	Ivo Düntsch , Dept of Computer Science , Brock University , St Catherines, Ontario, L2S 3A1, Canada Ewa Orlowska, Institute of Telecommunications, Warsaw, Poland
Status:	Mathematical Logic Quarterly 46 (2000), 267-288
Abstract:	Each information system (or data table) leads to a hierarchy of binary relations on the object set in a natural way; these relations can serve as frames for the semantics of modal logics. While relations of indiscernibility and their logics have been frequently studied, the situation of relations which distinguish objects is much less clear. In this paper, we present complete logical systems for relations of complementarity derived from information systems.