Introduction to higher order categorical logic
Introduction to higher order categorical logic
A relational model of data for large shared data banks
Communications of the ACM
Hi-index | 0.00 |
In this article we present a framework in which we can reason about damaged or lost information. As a basis of reasoning about information we use the notion of ’information system’ of Pawlak [1]. Furthermore this article presents introductory considerations for analyzing information systems using tools of category theory.