×

A finitary relational algebra for classical first order logic. (English) Zbl 0745.03057

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.

MSC:

03G15 Cylindric and polyadic algebras; relation algebras
03B10 Classical first-order logic
PDFBibTeX XMLCite