A Complete Natural Deduction System for the Relational Calculus
William W. Wadge · Warwick Research Archive Portal (University of Warwick) · 1975
A relational calculus is a formal system in which relation is the fundamental concept. The simplest relational calcu1us, that of ordinary binary relations, was introduced by Tarski in [4]. Tarski's system is essentially an algebra in which the operations are the usual Boolean operations (on sets of ordered pairs) together with the two special operations converse (denoted by u) and composition (denoted by ";" or by juxtaposition).