Abstract
We employ the theory of canonical extensions to study residuation algebras whose associated relational structures are functional, i.e., for which the ternary relations associated to the expanded operations admit an interpretation as (possibly partial) functions. Providing a partial answer to a question of Gehrke, we demonstrate that functionality is not definable in the language of residuation algebras (or even residuated lattices), in the sense that no equational or quasi-equational condition in the language of residuation algebras is equivalent to the functionality of the associated relational structures. Finally, we show that the class of Boolean residuation algebras such that the atom structures of their canonical extensions are functional generates the variety of Boolean residuation algebras.
Similar content being viewed by others
References
Conradie, W., Palmigiano, A.: Algorithmic correspondence and canonicity for non-distributive logics. Ann. Pure Appl. Logic 170, 923–974 (2019)
Conradie, W., Palmigiano, A.: Constructive canonicity of inductive inequalities (2019). arXiv preprint arXiv:1603.08341
Conradie, W., Palmigiano, A., Tzimoulis, A.: Goldblatt-Thomason for LE-logics (2018). arXiv preprint arXiv:1809.08225
Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Studies in Logic and the Foundations of Mathematics, vol. 151. Elsevier, New YorK (2007)
Gehrke, M.: Stone duality, topological algebra, and recognition. J. Pure Appl. Algebra 220, 2711–2747 (2016)
Gehrke, M., Harding, J.: Bounded lattice expansions. J. Algebra 238, 345–371 (2001)
Gehrke, M., Vosmaer, J.: A view of canonical extensions. In: Bezhanishvili, N., Spada, L. (eds.) TbiLLC 2009 (LNAI), pp. 77–100. Springer (2011)
Goldblatt, R.: Varieties of complex algebras. Ann. Pure Appl. Logic 44, 173–242 (1989)
Jipsen, P.: Computer Aided Investigations of Relation Algebras. Ph.D. thesis, Vanderbilt University (1992)
Acknowledgements
We wish to thank Peter Jipsen for his careful reading and very useful comments on an earlier draft of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Ralph Freese, Bill Lampe, and J.B. Nation.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This article is part of the topical collection “Algebras and Lattices in Hawaii” edited by W. DeMeo.
The research of the first author has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (Grant agreement no. 670624). The research of the second author was supported by the Vidi Grant 016.138.314 of the Netherlands Organization for Scientific Research (NWO), by the NWO Aspasia Grant 015.008.054, and by a Delft Technology Fellowship awarded in 2013.
Rights and permissions
About this article
Cite this article
Fussner, W., Palmigiano, A. Residuation algebras with functional duals. Algebra Univers. 80, 40 (2019). https://doi.org/10.1007/s00012-019-0613-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-019-0613-5