Abstract
The relationships among lattice pseudoeffect algebras and some partial algebraic structures with residual implications are further studied, and the main results of the previous paper (titled residuation in lattice effect algebras) are extended comprehensively and systematically. First, we prove that every (commutative) quasiresiduated lattice is divisible, and every pseudoeffect algebra is good. Second, we prove some important results to show that effect (pseudoeffect) algebras and (commutative) quasiresiduated lattices can induce each other, and the induced relationships have the bidirectional reducing property. Finally, in order to explore the connections between pseudoeffect algebras (which may not be lattices) and residual partial algebras, we propose the concepts of Q-residuated partial monoids and Q-residuated lattices, and analyze deeply the induced relationships between pseudoeffect algebras and Q-residuated partial monoids. Moreover, we investigate the filters and congruence relations of (well) Q-residuated partial monoids and Q-residuated lattices.
Similar content being viewed by others
Data Availability
A data availability statement is mandatory for publication in this journal. Please confirm that this statement is accurate, or provide an alternative.
References
Borzooei RA, Dvurecenskij A, Sharafi AH (2018) Material implications in lattice effect algebras. Inf Sci 433–434:233–240
Chajda I, Länger H (2020) Residuation in lattice effect algebras. Fuzzy Sets Syst 397:168–178
Chajda I, Halaš R, Länger H (2020) The logic induced by effect algebras. Soft Comput 24:14275–14286
Dvurecenskij A, Vetterlein T (2001a) Pseudo effect algebras. I Basic properties. Int J Theor Phys 40:685–701
Dvurečenskij A, Vetterlein T (2001) Pseudo effect algebras. II. Group representation. Int J Theor Phys 40:703–726
Dvurecenskij A, Vetterlein T (2001b) Congruences and states on pseudo effect algebras. Found Phys Lett 14(5):425–446
Fan X, Zhang X (2010) Generalized pseudo-effect algebras and their Riesz congruences and Riesz ideals. Adv Math 39(4):419–428
Foulis DJ, Bennett MK (1994) Effect algebras and unsharp quantum logics. Found Phys 24:1331–1352
Foulis DJ, Pulmannova S (2012) Logical connectives on lattice effect algebras. Stud Log 100:1291–1315
Ji W (2020) Fuzzy implications in lattice effect algebras. Fuzzy Sets Syst. https://doi.org/10.1016/j.fss.2020.04.021
Jing W (2004) Ideals, filters, and supports in pseudoeffect algebras. Int J Theor Phys 43(2):349–358
Ma Z, Wu J, Lu S (2004) Ideals and filters in pseudo-effect algebras. Int J Theor Phys 43(6):1445–1451
Shang Y, Li Y (2007) Generalized ideals and supports in pseudo effect algebras. Soft Comput 11:641–645
Vetterlein T (2005) BL-algebras and effect algebras. Soft Comput 9(8):557–564
Wu Y, Wang J, Yang Y (2019) Lattice-ordered effect algebras and L-algebras. Fuzzy Sets Syst 369:103–113
Xie Y, Li Y, Guo J, Ren F, Li D (2011) Weak commutative pseudoeffect algebras. Int J Theor Phys 50:1186–1197
Zhang X, Fan X (2008) Pseudo BL-algebras and pseudo effect algebras. Fuzzy Sets Syst 159(1):95–106
Zhang X, Fan X (2010) Pseudo-involutive residuated lattices (non-commutative) and pseudo-effect algebras. Fuzzy Syst Math 24(1):1–13
Zhou X, Li Q, Wang G (2007) Residuated lattices and lattice effect algebras. Fuzzy Sets Syst 158(8):904–914
Acknowledgements
In the process of writing this article, we have obtained the help from Professors Yongjian Xie and Pengfei He at Shaanxi Normal University. We would like to express our heartfelt thanks to them!
Funding
This study was funded by the National Natural Science Foundation of China (No. 62081240416, 61976130) and the Natural Science Foundation of Shaanxi Province (No. 2020JQ-698).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Ethical approval/informed consent
This article does not contain any studies with human participants or animals performed by any of the authors.
Additional information
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
Zhang, X., Wang, M. & Sheng, N. Q-residuated lattices and lattice pseudoeffect algebras. Soft Comput 26, 4519–4540 (2022). https://doi.org/10.1007/s00500-022-06839-w
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-022-06839-w