Abstract
In this paper we extend to various classes of subreducts of hoops some results about splitting algebras. In particular we prove that every finite chain in the purely implicational fragment of basic hoops is splitting and that every finite chain in the \(\{\wedge ,\rightarrow \}\) fragment of hoops is splitting. We also produce explicitly the splitting equations in most cases.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Change history
26 August 2022
Missing Open Access funding information has been added in the Funding Note.
References
Aglianò, P., Ternary deduction terms in residuated structures, Acta Scientiarum Mathematicarum 64:397–429, 1998.
Aglianò, P., Varieties of BL-algebras I, revisited, Soft Computing 21:153–163, 2017.
Aglianò, P., Splittings in GBL-algebras I: the general case, Fuzzy Sets and Systems 373:1–18, 2019.
Aglianò, P., Splittings in GBL-algebras II: the representable case, Fuzzy Sets and Systems 373:19–36, 2019.
Aglianò, P., Varieties of BL-algebras III: splitting algebras, Studia Logica 107:1235–1259, 2019.
Aglianò, P., I.M.A. Ferreirim, and F. Montagna, Basic hoops: an algebraic study of continuous t-norms, Studia Logica 87(1):73–93, 2007.
Aglianò, P., and F. Montagna, Varieties of BL-algebras I: general properties, The Journal of Pure and Applied Algebra 181:105–129, 2003.
Blok, W.J., and I.M.A. Ferreirim, On the structure of hoops, Algebra Universalis 43:233–257, 2000.
Blok, W.J., and J.G. Raftery, On the quasivariety of BCK-algebras and its subvarieties, Algebra Universalis 33:68–90, 1995.
Blok, W.J., and J.G. Raftery, Varieties of commutative residuated integral pomonoids and their residuation subreducts, Journal of Algebra 190:280–328, 1997.
Blok, W.J., and J.G. Raftery, Assertionally equivalent quasivarieties, International Journal of Algebra and Computation 18:589–681, 2008.
Blount, K., and C. Tsinakis, The structure of residuated lattices, International Journal of Algebra and Computation 13(4):437–461, 2003.
Burris, S., and H.P. Sankappanavar, A course in universal algebra, Graduate Texts in Mathematics, Springer, Berlin, 1981.
Cornish, W.H., T. Sturm, and T. Traczyk, Embedding of commutative BCK-algebras into distributive lattice BCK-algebras, Mathematica Japonica 29:309–320, 1984.
Day, A., A note on the congruence extension property, Algebra Universalis 1:234–235, 1971.
Diego, A., Sur les algèbres de Hilbert, Collection Logique Mathematique, Series A, no. 21, Gauthiers-Villars, Paris, 1966.
Ferreirim, I.M.A., On a conjecture by Andrzej Wroński for BCK-algebras and subreducts of hoops, Scientiae Mathematicae Japonicae 53:119–132, 2009.
Idziak, P.M., Lattice operations on BCK-algebras, Mathematica Japonica 29:839–846, 1984.
Iséki, K., An algebra related with a propositional calculus, Proceedings of the Japan Academy 41:26–29, 1962.
Komori, Y., Super-Łukasiewicz implicational logics, Nagoya Mathematical Journal 72: 127–133, 1978.
Kowalski, T., The bottom of the lattice of BCK-varieties, Reports on Mathematical Logic 29: 87–93, 1995.
McKenzie, R., Equational bases and nonmodular lattice varieties, Transactions of the American Mathematical Society 174: 1–43, 1972.
McKenzie, R., G. McNulty, and W. Taylor, Algebras, Lattices, Varieties, Volume 1, Wadsworth & Brooks/Cole, Belmont, CA, 1987.
Ono, H., and Y. Komori, Logics without the contraction rule, The Journal of Symbolic Logic 50:160–201, 1985.
Pałasiński, M., Some remarks on BCK-algebras, Mathematics Seminar Notes (Kobe University) 8:137–144, 1980.
Pałasiński, M., On ideals and congruence lattices of BCK-algebras, Mathematica Japonica 26:543–544, 1981.
Raftery, J. G., and T. Sturm, On ideal and congruence lattices of BCK-semilattices, Mathematica Japonica 32:465–474, 1987.
Whitman, P.M., Splittings of a lattice, American Journal of Mathematics 65:179–196, 1943.
Wroński, A., BCK-algebras do not form a variety, Mathematica Japonica 28:211–213, 1983.
Funding
Open access funding provided by Università degli Studi di Siena within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by Francesco Paoli.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Aglianò, P. Splittings in Subreducts of Hoops. Stud Logica 110, 1155–1187 (2022). https://doi.org/10.1007/s11225-022-09997-y
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-022-09997-y