Abstract
In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is to give a characterization of the principal congruences in this variety. We apply this description in order to study compatible functions.
Similar content being viewed by others
References
Agliano, P., Ternary deductive terms in residuated structures, Acta Sci. Math. (Szeged) 68:397–429, 2002.
Balbes, R., Distributive Lattices, University of Missouri Press, 1974.
Bezhanishvili, N., and M. Gehrke, Finitely generated free Heyting algebras via Birkhoff duality and coalgebra, Logical Methods in Computer Science 7:1–24, 2011.
Blok W. J., and D. Pigozzi, Abstract Algebraic Logics and the Deduction Theorem, Manuscript, 2001. http://orion.math.iastate.edu/dpigozzi/.
Blok, W., and D. Pigozzi, Local deduction theorems in algebraic logic, in H. Andreka, J.D. Monk, and I. Nemeti, (eds.), Algebraic logic, vol. 54 of Colloquia Math. Soc. Janos Bolyai. North-Holland, Amsterdam, 1991, pp. 75–109.
Burris, H., and H. P. Sankappanavar, A Course in Universal Algebra, Springer Verlag, New York, 1981.
Caicedo, X., Implicit connectives of algebraizable logics, Studia Logica 78(3):155–170, 2004.
Caicedo, X., Implicit operations in MV-algebras and the connectives of Lukasiewicz logic, Lecture Notes in Computer Science 4460(1):50–68, 2007.
Caicedo, X., and R. Cignoli, An algebraic approach to intuitionistic connectives, Journal of Symbolic Logic 4:1620–1636, 2001.
Castiglioni J. L., M. Menni, and M. Sagastume Compatible operations on commutative residuated lattices, JANCL 18:413–425, 2008.
Castiglioni, J. L., M. Sagastume, and H. J. San Martín, On frontal Heyting algebras, Reports on Mathematical Logic 45:201–224, 2010.
Castiglioni, J. L., and H. J. San Martín, Compatible operations on residuated lattices, Studia Logica 98(1-2):203–222, 2011.
Celani, S. A., Distributive lattices with fusion and implication, Southeast Asian Bulletin of Mathematics 28:999–1010, 2004.
Celani, S. A., and R. Jansana, Bounded distributive lattices with strict implication, Mathematical Logic Quarterly 51:219–246, 2005.
Celani, S. A., and H. J. San Martín, Frontal operators in weak Heyting algebras, Studia Logica 100:91–114, 2012.
Cignoli R., I. D’Ottaviano, and D. Mundici, Algebraic Foundations of Many–Valued Reasoning, Trends in Logic, Studia Logica Library, vol. 7, Kluwer Academic Publishers, 2000.
Ertola, R., and H. J. San Martín, On some compatible operations on Heyting algebras, Studia Logica 98:331–345, 2011.
Esakia, L., The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic, Journal of Applied Non-Classical Logics 16:349–366, 2006.
Font J. M., Abstract Algebraic logic. An Introductory Course, College Publications, London, 2016.
Fried E., G. Grätzer, and R. W. Quackenbush, The equational class generated by weakly associative lattices with the unique bound property, Ann. Univ. Sci. Budapest. Eštvšs Sect. Math. 205–211, 1979/80.
Fried, E., G. Grätzer, and R.W. Quackenbush, Uniform congruence schemes, Algebra Universalis 10:176–188, 1980.
Gabbay, D. M., On some new intuitionistic propositional connectives, Studia Logica 36:127–139, 1977.
Hart, J., L. Raftery, and C. Tsinakis, The structure of commutative residuated lattices, Internat. J. Algebra Comput. 12:509–524, 2002.
Kaarli, K., and A. F. Pixley, 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.
Muravitsky, A. Y., Logic KM: A biography, in Leo Esakia on Duality of Modal and Intuitionistic Logics, Series: Outstanding Contributions to Logic, vol. 4, Springer, 2014, pp. 147–177.
San Martín H. J., Compatible operations in some subvarieties of the variety of weak Heyting algebras, in 8th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2013), pp. 475–480.
San Martín H. J., Compatible operations on commutative weak residuated lattices, Algebra Universalis 73(2):143–155, 2015.
San Martín, H. J., Principal congruences in weak Heyting algebras, Algebra Universalis 75(4):405–418, 2016.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Jansana, R., San Martín, H.J. On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication. Stud Logica 107, 351–374 (2019). https://doi.org/10.1007/s11225-018-9796-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-018-9796-6