Dependencies of Attributes in Pawlak’s Information Systems
Ewa S. Orłowska · Fundamenta Informaticae · 1983
In the paper we consider dependencies of attributes in Pawlak’s model of information systems. We develop a logic which enables us to express and to prove dependencies. We present a Gentzen-style deduction system for the logic.