Abstract
Quasi-pseudo-MV algebras (quasi-pMV algebras, for short) were introduced both as the generalization of quasi-MV algebras and as the generalization of pseudo-MV algebras. In the present paper, we mainly investigate ideals and congruences in a quasi-pMV algebra. We present the properties of ideals of quasi-pMV algebras and investigate some special ideals. Furthermore, we study the normal ideals in detail and characterize the bijective correspondence between normal ideals and ideal congruences. Finally, we introduce weak ideals of a quasi-pMV algebra and show the relation existing between normal weak ideals and congruences.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Bou F, Paoli F, Ledda A, Freytes H (2008) On some properties of quasi-MV algebras and \(\sqrt{^{\prime }}\)quasi-MV algebras. Part II Soft Comput 12(4):341–352
Bou F, Paoli F, Ledda A, Spinks M, Giuntini R (2010) The logic of quasi-MV algebras. J Logic Comput 20(2):619–643
Chen WJ, Davvaz B (2016) Some classes of quasi-pseudo-MV algebras. Logic J IGPL 24(5):655–673
Chen WJ, Dudek WA (2015) The representation of square root quasi-pseudo-MV algebras. Soft Comput 19(2):269–282
Chen WJ, Dudek WA (2016) Quantum computational algebra with a non-commutative generalization. Math Slovaca 66(1):19–34
Dvurecenskij A (2001) On pseudo MV-algebras. Soft Comput 5:347–354
Dvurecenskij A (2002) Pseudo MV-algebras are intervals in \(l\)-groups. J Aust Math Soc 72:427–445
Freytes H, Domenech G (2013) Quantum computational logic with mixed states. Math Logic Q 59(1–2):27–50
Georgescu G, Iorgulescu A (2001) Pseudo MV algebras. MultII Valued Logic 6:95–135
Giuntini R, Pulmannova S (2000) Ideals and congruences in effect algebras and qmv-algebras. Commun Algebra 28:1567–1592
Jipsen P, Ledda A, Panli F (2013) On some properties of quasi-MV algebras and \(\sqrt{^{\prime }}\) quasi-MV algebras. Part IV Rep Math Logic 48:3–36
Kowalski T, Paoli F (2010) On some properties of quasi-MV algebras and \(\sqrt{^{\prime }}\) quasi-MV algebras. Part III Rep Math Logic 45:161–199
Kowalski T, Paoli F (2011) Joins and subdirect products of varieties. Algebra Univers 65:371–391
Kowalski T, Paoli F, Spinks M (2011) Quasi-subtractive varieties. J Symb Logic 76(4):1261–1286
Ledda A, Konig M, Paoli F, Giuntini R (2006) MV algebras and quantum computation. Stud Logica 82:245–270
Paoli F, Ledda A, Giuntini R, Freytes H (2009) On some properties of quasi-MV algebras and \(\sqrt{^{\prime }}\)quasi-MV algebras. Part I Rep Math Logic 44:31–63
Pulmannova S, Vincekova E (2009) Congruences and ideals in lattice effect algebras as basic algebras. Kybernetika 45(6):1030–1039
Rachunek J (2002) A non-commutative generalization of MV-algebras. Czechoslov Math J 52(127):255–273
Acknowledgements
This study was funded by the National Natural Science Foundation of China (Grant No.11501245, 11126301) and Natural Scientific Foundation of Shandong Province (No. ZR2013AQ007).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
Authors declare that they have 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.
Rights and permissions
About this article
Cite this article
Chen, W., Dudek, W.A. Ideals and congruences in quasi-pseudo-MV algebras. Soft Comput 22, 3879–3889 (2018). https://doi.org/10.1007/s00500-017-2854-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-017-2854-6