A relational algebra for propositional logic

Abstract We apply the established relational theory of stored data to the management of propositions in two-valued logic. Since the truth table for a propositional formula is a virtual relation, we can establish a correspondence between the relational algebra, as applied to the management of stored data, and the same algebra, as applied to the management of logical formulas. In doing so, we present a single comprehensive framework for the management of these two types of information.