Advertisement

Arithmetic

Chapter
  • 920 Downloads

Abstract

The equational language of relation algebras is highly expressive, and the deductive power of the equational theory is substantial. In fact, every statement about binary relations that can be expressed in the first-order language of relations using at most three variables can equivalently be expressed as an equation in the language of relation algebras, and vice versa. Furthermore, an equation is derivable from the axioms of relation algebras if and only if a corresponding three-variable sentence is provable in a certain restricted version of first-order logic in which there are just three variables.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Department of MathematicsMills CollegeOaklandUSA

Personalised recommendations