Abstract
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.
Get full access to this article
View all access options for this article.