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.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call