Abstract
In this note we prove that divisible residuated semilattices have some specific algebraic properties. We show that: (1) for normal and divisible residuated semilattices representability is equivalent to the existence of a join term, (2) any integral divisible residuated semilattice is distributive, and (3) a finite divisible residuated semilattice is integral and commutative.
Similar content being viewed by others
References
Aglianò P (1998) Ternary deductive terms in residuated structures. Acta Sci Math (Szeged) 64:397–429
Aglianò P (2019) Splittings in GBL-algebras I: the general case. Fuzzy Sets Syst 373:1–16
Aglianò P, Ferreirim IMA, Montagna F (2007) Basic hoops: an algebraic study of continuous \(t\)-norms. Studi Log 87(1):73–98
Blok WJ, Ferreirim IMA (2000) On the structure of hoops. Algebra Universalis 43:233–257
Blount K, Tsinakis C (2003) The structure of residuated lattices. Int J Algebra Comput 13(4):437–461
Bosbach B (1969) Komplementäre halbgruppen. Axiomatik und arithmetik. Fundam Math 64:257–287
Galatos N (2003) Varieties of residuated lattices. Ph.D. thesis, Vanderbilt University, http://www.cs.du.edu/~ngalatos/research/diss.pdf
Galatos N, Jipsen P (2009) A survey of generalized basic logic algebras. In: Cintula P, Hanikova Z, Svejdar V (eds) Witnessed years: essays in honour of Petr Hajek. College Publications, London, pp 305–331
Galatos N, Tsinakis C (2005) Generalized MV-algebras. J Algebra 283:254–291
Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics, studies in logics and the foundations of mathematics, vol 151. Elsevier, Amsterdam
Galatos N, Olson JS, Raftery JG (2008) Irreducible residuated semilattices and finitely based varieties. Rep Math Log 43:85–108
Harrop R (1956) On disjunctions and existential statements in intuitionistic systems of logic. Math Ann 5:347–361
Jipsen P (2004) From semirings to residuated Kleene lattices. Studi Log 76:291–303
Jipsen P (2017) On generalized hoops, homomorphic images of residuated lattices and GB(L)-algebras. Soft Comput 21:17–27
Jipsen P, Montagna F (2006) On the structure of generalized BL-algebras. Algebra Universalis 55:226–237
Jipsen P, Montagna F (2009) The Blok–Ferreirim theorem for normal GBL-algebras and its application. Algebra Universalis 60:381–404
Jipsen P, Tsinakis C (1982) A survey of residuated lattices. In: Martinez J (ed) Ordered algebraic structures. Kluwer Academic Publisher, Dordrecht, pp 19–56
Köhler P (1981) Brouwerian semilattices. Trans Am Math Soc 268:103–126
McAlister DB (1998) Lattice ordered groups and the structure of inverse semigroups. Notes for a series of lectures given at the center of algebra, University of Lisbon, Lisbon https://www.math.niu.edu/~don/lisbon.pdf
Van Alten C (2002) Representable biresiduated lattices. J Algebra 247:672–691
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
Moreover the author declares that he has no conflict of interest.
Ethical approval
This article does not contain any studies with human participants or animals performed by any of the authors.
Additional information
Communicated by A. Di Nola.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Aglianò, P. A short note on divisible residuated semilattices. Soft Comput 24, 259–266 (2020). https://doi.org/10.1007/s00500-019-04348-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-019-04348-x