Abstract
Compatibility of functions is a classical topic in Universal Algebra related to the notion of affine completeness. In algebraic logic, it is concerned with the possibility of implicitly defining new connectives.
In this paper, we give characterizations of compatible operations in a variety of algebras that properly includes commutative residuated lattices and some generalizations of Heyting algebras. The wider variety considered is obtained by weakening the main characters of residuated lattices (A, ∧, ∨, ·, →, e) but retaining most of their algebraic consequences, and their algebras have a commutative monoidal structure. The order-extension principle a ≤ b if and only if a → b ≥ e is replaced by the condition: if a ≤ b, then a → b ≥ e. The residuation property c ≤ a → b if and only if a · c ≤ b is replaced by the conditions: if c ≤ a → b , then a · c ≤ b, and if a · c ≤ b, then e → c ≤ a → b. Some further algebraic conditions of commutative residuated lattices are required.
Similar content being viewed by others
References
Bezhanishvili N., Gehrke M.: Finitely generated free Heyting algebras via Birkhoff duality and coalgebra. Log. Methods Comput. Sci. 7, 1–24 (2001)
Caicedo X.: Implicit connectives of algebraizable logics. Studia Logica 78, 155–170 (2004)
Caicedo X.: Implicit operations in MV-algebras and the connectives of Lukasiewicz logic. In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Lecture Notes in Computer Science, vol. 4460, pp. 50–68 (2007)
Caicedo X., Cignoli R.: An algebraic approach to intuitionistic connectives. J. Symb. Log. 4, 1620–1636 (2001)
Castiglioni J.L., Menni M., Sagastume M.: Compatible operations on commutative residuated lattices. J. Appl. Non-Class. Log. 18, 413–425 (2008)
Castiglioni J.L., San Martín H.J.: Compatible operations on residuated lattices. Studia Logica 98, 219–246 (2011)
Celani, S., Jansana, R.: Bounded distributive lattices with strict implication. MLQ Math. Log. Q. 51, No. 3, 219–246 (2005)
Celani S.A., San Martín H.J.: Frontal operators in weak Heyting algebras. Studia Logica 100, 91–114 (2012)
Epstein G., Horn A.: Logics which are characterized by subresiduated lattices. Z. Math. Logik Grundlag. Math. 22, 199–210 (1976)
Ertola R., San Martín H.J.: On some compatible operations on Heyting algebras. Studia Logica 98, 331–345 (2011)
Gabbay D.M.: On some new intuitionistic propositional connectives. Studia Logica 36, 127–139 (1977)
Hart J., Rafter L., Tsinakis C.: The structure of commutative residuated lattices. Internat. J. Algebra Comput. 12, 509–524 (2002)
Jipsen, P., Tsinakis, C.: A survey of residuated lattices. In: Martinez, J. (eds.) Ordered Algebraic Structures, pp. 19–56. Kluwer, Dordrecht (2002)
Kaarli K., Pixley, A. F.: Polynomial completeness in algebraic systems. Chapman and Hall/CRC (2001)
Kuznetsov A.V.: On the Propositional Calculus of Intuitionistic Provability. Soviet Math. Dokl. 32, 18–21 (1985)
San Martín H.J.: Compatible operations in some subvarieties of the variety of weak Heyting algebras. In: Proceedings of the 8th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2013). Advances in Intelligent Systems Research, pp. 475–480. Atlantis Press (2013)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by C. Tsinakis.
The author thanks José Luis Castiglioni and Manuela Busaniche for several conversations concerning the matter of this paper. This work was partially supported by CONICET Project PIP 112-201101-00636.
Rights and permissions
About this article
Cite this article
San Martín, H.J. Compatible operations on commutative weak residuated lattices. Algebra Univers. 73, 143–155 (2015). https://doi.org/10.1007/s00012-015-0317-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-015-0317-4