A finitary relational algebra for classical first-order logic
Paulo A. S. Veloso, Armando M. Haeberer · 1991
A simple extension of Tarski’s calculus of binary relations is shown to have the expressive power of first-order logic. In contrast with Cylindric and Polyadic algebras, this extension introduces only finitely many operations and constants whose standard meaning is finitary.