Abstract
As is well-known, residuated lattices (RLs) on the unit interval correspond to left-continuous t-norms. Thus far, a similar characterization has not been found for RLs on the set of intervals of [0, 1], or more generally, of a bounded lattice L . In this paper, we show that the open problem can be solved if it is restricted, making only a few simple and intuitive assumptions, to the class of interval-valued residuated lattices (IVRLs). More specifically, we derive a full characterization of product and implication in IVRLs in terms of their counterparts on the base RL. To this aim, we use triangle algebras, a recently introduced variety of RLs that serves as an equational representation of IVRLs.
Sign-in/Register to access full text options 
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 callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
