Relation Algebra with Binders

  title={Relation Algebra with Binders},
  author={Maarten Marx},
  journal={J. Log. Comput.},
The language of relation algebras is expanded with variables denoting individual elements in the domain and with the ↓ binder from hybrid logic. Every elementary property of binary relations is expressible in the resulting language, something which fails for the relation algebraic language. That the new language is natural for speaking about binary relations is indicated by the fact that both Craig’s Interpolation, and Beth’s Definability theorems hold for its set of validities. The paper… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.
5 Citations
11 References
Similar Papers


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 11 references

A Formalization of Set Theory without Variables, volume 41

  • A. Tarski, S. Givant
  • AMS Colloquium publications,
  • 1987
Highly Influential
4 Excerpts

Problems of expresibility in finite languages

  • A. Kwatinetz
  • PhD thesis, University of California, Berkeley,
  • 1981
1 Excerpt

Classes without the amalgamation property

  • S. Comer
  • Pacific Journal of Mathematics,
  • 1969
1 Excerpt

Similar Papers

Loading similar papers…