Skip to main content
SpringerLink
Log in

Axiomatization of identity-free equations valid in relation algebras

  • Published:
algebra universalis Aims and scope Submit manuscript

Abstract

A finite axiom set for the identity-free equations valid in relation algebras is given. This is a simplification of the one given by Jónsson, and confirms a conjecture of Tarski. An axiom set for the identity-free equations valid in the representable relation algebras is given, too. We show that in the class of representable relation algebras, both the operation of taking converse and the identity constant are finitely axiomatizable (over the rest of the operations).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Andréka, H.,Complexity of equations valid in algebras of relations, Dissertation with the Academy of Sciences, Budapest, 1990. Annals of Pure and Applied Logic, to appear.

  2. Andréka, H., Givant, S. andNémeti, I.,Perfect extensions and derived algebras, Journal of Symbolic Logic60, 3 (1995), 775–796.

    Google Scholar 

  3. Bredihin, D. andSchein, B.,Representations of ordered semigroups and lattices by binary relations, Colloquium Mathematicum39 (1978), 1–12.

    Google Scholar 

  4. Jónsson, B.,Program specification algebras, Letter, Backus, 7/15/89.

  5. Jónsson, B.,Program specifications as Boolean operators, Preliminary draft prepared for the Jónsson Conference, July 1990.

  6. Jónsson, B.,Varieties of relation algebras, Algebra Universalis15 (1982), 273–298.

    Google Scholar 

  7. Jónsson, B., Jipsen, P. andRafter, J.,Adjoining units to residuated Boolean algebras, Algebra Universalis34 (1995), 118–127.

    Google Scholar 

  8. Jónsson, B. andTarski, A.,Boolean algebras with operators, Part I, Amer. J. Math.73 (1951), 891–939.

    Google Scholar 

  9. McKenzie, R.,The representation of relation algebras, Doctoral Dissertation, University of Colorado, Boulder, 1966.

    Google Scholar 

  10. Maddux, R.,A collection of research problems on relation algebras (1985).

  11. Maddux, R.,A sequent calculus for relation algebras, Annals of Pure and Applied Logic25 (1983), 73–101.

    Google Scholar 

  12. Németi, I.,Algebraization of Quantifier Logics, an Introductory Overview, Version 11.4. Preprint, Math. Inst. of Hungar. Acad. Sci., Budapest (1994, regularly updated). Shorter version not containing the proofs appeared in Studia Logica L, 3/4 (1991), 485–569.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematical Institute, Hungarian Academy of Sciences, P.O.B. 127, H-1364, Budapest, Hungary

    H. Andréka & I. Németi

Authors
  1. H. Andréka
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. I. Németi
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Dedicated to the memory of Alan Day

Rights and permissions

Reprints and permissions

About this article

Cite this article

Andréka, H., Németi, I. Axiomatization of identity-free equations valid in relation algebras. Algebra Universalis 35, 256–264 (1996). https://doi.org/10.1007/BF01195500

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01195500

1991 Mathematics Subject Classification

Key words and phrases

Search

Navigation