Abstract
This work extend to residuated lattices the results of [7]. It also provides a possible generalization to this context of frontal operators in the sense of [9].
Let L be a residuated lattice, and f : L k → L a function. We give a necessary and sufficient condition for f to be compatible with respect to every congruence on L. We use this characterization of compatible functions in order to prove that the variety of residuated lattices is locally affine complete.
We study some compatible functions on residuated lattices which are a generalization of frontal operators. We also give conditions for two operations P(x, y) and Q(x, y) on a residuated lattice L which imply that the function \({x \mapsto min\{y \in L : P(x, y) \leq Q(x, y)\}}\) when defined, is equational and compatible. Finally we discuss the affine completeness of residuated lattices equipped with some additional operators.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, 1974.
Blok W.J., Pigozzi D.: ‘Algebraizable logics’. Memoirs of the A.M.S. 77, 396 (1989)
Blount K., Tsinakis C.: ‘The structure of residuated lattices’, Internat. J. Algebra Comput. 13(4), 437–461 (2003)
Caicedo X.: ‘Implicit connectives of algebraizable logics’. Studia Logica 78, 155–170 (2004)
Caicedo X., Cignoli R.: ‘An algebraic approach to intuitionistic connectives’. Journal of Symbolic Logic 66(4), 1620–1636 (2001)
Castiglioni J.L., San Martín H.J.: ‘On the variety of heyting algebras with successor generated by all finite chains’. Reports on Mathematical Logic 45, 225–248 (2010)
Castiglioni M., Menni J.L., Sagastume M.: ‘Compatible operations on commutative residuated lattices’. Journal of Applied Non-Classical Logics 18, 413–425 (2008)
Castiglioni M., Sagastume J.L., San Martín H.J.: ‘On frontal heyting algebras’. Reports on Mathematical Logic 45, 201–224 (2010)
Esakia L.: ‘The modalized heyting calculus: a conservative modal extension of the intuitionistic logic’. Journal of Applied Non-Classical Logics 16(3-4), 349–366 (2006)
Gabbay D.M.: ‘On some new intuitionistic propositional connectives’. Studia Logica 36, 127–139 (1977)
Gentzen G.: ‘Untersuchungen über das logische schliessen’. Mathematische Zeitschrift 39, 176–210 (1934)
Jipsen, P., and C. Tsinakis, ‘A survey of residuated lattices’, in J. Martinez, (ed.), Ordered algebraic structures, Kluwer Acad. Publ., Dordrecht, 2002, pp. 19–56.
Kaarli, K., and A.F. Pixley, Polynomial completeness in algebraic systems, Chapman and Hall/CRC, 2001.
Kusnetsov A.V.: ‘On the propositional calculus of intuitionistic provability’. Soviet Math. Dokl. 32, 18–21 (1985)
Ono, H., ‘Substructural logics and residuated lattices- an introduction’, in V.F. Hendricks, and J. Malinowski, (eds.), 50 Years of Studia Logica, no. 20 in Trends in Logic, Kluwer Academic Publishers, 2003, pp. 193–228.
Orlowska E., Rewitzky I.: ‘Discrete dualities for heyting algebras with operators’. Fundamenta Informaticae 81, 275–295 (2007)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Castiglioni, J.L., San Martín, H.J. Compatible Operations on Residuated Lattices. Stud Logica 98, 203–222 (2011). https://doi.org/10.1007/s11225-011-9333-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-011-9333-3