Veloso, Paulo A. S.; Haeberer, Armando M. A finitary relational algebra for classical first order logic. (English) Zbl 0745.03057 Bull. Sect. Log., Pol. Acad. Sci. 20, No. 2, 52-62 (1991). Summary: A simple extension of Tarski’s calculus of binary relations is shown to have the expressive power of first-order logic. In contrast to cylindric and polyadic algebras, this extension introduces only finitely many operations and constants whose standard meaning is finitary. Cited in 1 ReviewCited in 2 Documents MSC: 03G15 Cylindric and polyadic algebras; relation algebras 03B10 Classical first-order logic Keywords:extension of Tarski’s calculus of binary relations PDFBibTeX XMLCite \textit{P. A. S. Veloso} and \textit{A. M. Haeberer}, Bull. Sect. Logic, Pol. Acad. Sci. 20, No. 2, 52--62 (1991; Zbl 0745.03057)