Relation Algebras As Expanded FL-Algebras

Authors

Nikolaos Galatos, University of Denver
Peter Jipsen, Chapman UniversityFollow

Document Type

Article

Publication Date

2013

Abstract

This paper studies generalizations of relation algebras to residuated lattices with a unary De Morgan operation. Several new examples of such algebras are presented, and it is shown that many basic results on relation algebras hold in this wider setting. The variety qRA of quasi relation algebras is defined and shown to be a conservative expansion of involutive FL-algebras. Our main result is that equations in qRA and several of its subvarieties can be decided by a Gentzen system, and that these varieties are generated by their finite members.

Comments

This is a pre-copy-editing, author-produced PDF of an article accepted for publication in Algebra Universalis, volume 69, issue 1, in 2013 following peer review. The final publication is available at Springer at DOI: 10.1007/s00012-012-0215-y

Recommended Citation

Galatos, Nikolaos, and Peter Jipsen. "Relation algebras as expanded FL-algebras." Algebra universalis 69, no. 1 (2013): 1-21.
DOI: 10.1007/s00012-012-0215-y

Peer Reviewed

1

Copyright

Springer