Skip to main content

Ideals and congruences in quasi-pseudo-MV algebras

  • Foundations
  • Published:
Soft Computing Aims and scope Submit manuscript

    We’re sorry, something doesn't seem to be working properly.

    Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

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

    Article  MATH  Google Scholar 

  • 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

    Article  MathSciNet  Google Scholar 

  • Chen WJ, Dudek WA (2015) The representation of square root quasi-pseudo-MV algebras. Soft Comput 19(2):269–282

    Article  MATH  Google Scholar 

  • Chen WJ, Dudek WA (2016) Quantum computational algebra with a non-commutative generalization. Math Slovaca 66(1):19–34

    MathSciNet  MATH  Google Scholar 

  • Dvurecenskij A (2001) On pseudo MV-algebras. Soft Comput 5:347–354

    Article  MATH  Google Scholar 

  • Dvurecenskij A (2002) Pseudo MV-algebras are intervals in \(l\)-groups. J Aust Math Soc 72:427–445

    Article  MathSciNet  MATH  Google Scholar 

  • Freytes H, Domenech G (2013) Quantum computational logic with mixed states. Math Logic Q 59(1–2):27–50

    Article  MathSciNet  MATH  Google Scholar 

  • Georgescu G, Iorgulescu A (2001) Pseudo MV algebras. MultII Valued Logic 6:95–135

    MathSciNet  MATH  Google Scholar 

  • Giuntini R, Pulmannova S (2000) Ideals and congruences in effect algebras and qmv-algebras. Commun Algebra 28:1567–1592

    Article  MathSciNet  MATH  Google Scholar 

  • 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

    MathSciNet  MATH  Google Scholar 

  • 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

    MathSciNet  MATH  Google Scholar 

  • Kowalski T, Paoli F (2011) Joins and subdirect products of varieties. Algebra Univers 65:371–391

    Article  MathSciNet  MATH  Google Scholar 

  • Kowalski T, Paoli F, Spinks M (2011) Quasi-subtractive varieties. J Symb Logic 76(4):1261–1286

    Article  MathSciNet  MATH  Google Scholar 

  • Ledda A, Konig M, Paoli F, Giuntini R (2006) MV algebras and quantum computation. Stud Logica 82:245–270

    Article  MathSciNet  MATH  Google Scholar 

  • 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

    MathSciNet  MATH  Google Scholar 

  • Pulmannova S, Vincekova E (2009) Congruences and ideals in lattice effect algebras as basic algebras. Kybernetika 45(6):1030–1039

    MathSciNet  MATH  Google Scholar 

  • Rachunek J (2002) A non-commutative generalization of MV-algebras. Czechoslov Math J 52(127):255–273

    Article  MathSciNet  MATH  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Wenjuan Chen.

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00500-017-2854-6

Keywords