Premium
Logics of Complementarity in Information Systems
Author(s) -
Düntsch Ivo,
Orłowska Ewa
Publication year - 2000
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/(sici)1521-3870(200005)46:2<267::aid-malq267>3.0.co;2-r
Subject(s) - complementarity (molecular biology) , binary relation , mathematics , kripke semantics , accessibility relation , theoretical computer science , normal modal logic , information system , modal , hierarchy , computer science , discrete mathematics , description logic , multimodal logic , chemistry , genetics , economics , polymer chemistry , electrical engineering , market economy , biology , engineering
Each information system (or data table) leads to a hierarchy of binary relations on the object set in a natural way; these relational systems can serve as frames for the semantics of modal logics. While relations of indiscernibility and their logics have been frequently studied, the situation in the case 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.