Abstract
An involutive residuated lattice (IRL) is a lattice-ordered monoid possessing residual operations and a dualizing element d. The involution, i.e., the function \({x \mapsto x\backslash d}\), of an IRL induces a lattice anti-isomorphism, and is also an order-2 bijection of the underlying set. We examine which such bijections may be induced by the involution of an IRL.
Similar content being viewed by others
References
Faigle U., Sands B.: A size-width inequality for distributive lattices. Combinatorica 6, 29–33 (1986)
Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier Science (2007)
Wille, A.: Residuated Structures with Involution. PhD Thesis, Technische Universität Darmstadt (2006)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by C. Tsinakis.
Rights and permissions
About this article
Cite this article
Olson, J.S. Fixed elements in involutive residuated lattices. Algebra Univers. 65, 9–19 (2011). https://doi.org/10.1007/s00012-011-0114-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-011-0114-7