@inproceedings{267b31e282c149c9acba29c0d7365939,
title = "Pregroup Representable Expansions of Residuated Lattices",
abstract = "Group representable relation algebras play an important role in the study of representable relation algebras. The class of distributive involutive FL-algebras (DInFL-algebras) generalises relation algebras, as well as Sugihara monoids and MV-algebras. We construct DInFL-algebras from pregroups and show that they can be represented as algebras of binary relations. Even for finite pregroups we obtain relational representations of DInFL-algebras with non-Boolean lattice reducts. If the pregroup is enriched with a particular unary order-reversing operation, then our construction yields representation results for distributive quasi relation algebras.",
keywords = "distributive involutive FL-algebras, involutive pomonoids, pregroups, quasi relation algebras, representability",
author = "Andrew Craig and Claudette Robinson",
note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2026.; 22nd International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2026 ; Conference date: 07-04-2026 Through 10-04-2026",
year = "2026",
doi = "10.1007/978-3-032-22469-9\_9",
language = "English",
isbn = "9783032224682",
series = "Lecture Notes in Computer Science",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "151--168",
editor = "Uli Fahrenberg and Wesley Fussner and Luigi Santocanale",
booktitle = "Relational and Algebraic Methods in Computer Science - 22nd International Conference, RAMiCS 2026, Proceedings",
address = "Germany",
}