Weak QMV algebras and some ring-like structures
In this work, we propose a new quantum structure—weak quantum MV algebras (wQMV algebras)—and define coupled bimonoids and strong coupled bimonoids. We find that the coupled bimonoids and strong coupled bimonoids are ring-like structures corresponding to lattice-ordered wQMV algebras and lattice-ordered QMV algebras, respectively. Using an automated reasoning tool, we give the smallest 4-element wQMV algebra but not a QMV algebra. We also show that lattice-ordered wQMV algebras are the real nondistributive generalization of MV algebras. Certainly, most important properties of quantum MV algebras (QMV algebras) are preserved by wQMV algebras. Furthermore, we can conclude that lattice-ordered wQMV algebras are the simplest unsharp quantum logical structures by far, based on which computation theory could be set up.
KeywordsQuantum logic QMV algebras Weak QMV algebras Semirings Bimonoid
This work has been supported by the National Research Foundation of China (Grant Nos. 61472412, 61621003) and National Key Research and Development Program of China under Grant 2016YFB1000902 and supported in part by the CAS/SAFEA International Partnership Program for Creative Research Teams.
Compliance with ethical standards
Conflict of interest
The authors declare that they have no conflict of interest.
- Di Nola A, Gerla B (2005) Algebras of łukasiewicz logic and their semiring reducts. In: Litvinov GL, Maslov VP (eds) Idempotent mathematics and mathematical physics. Contemp. Math., vol 377, pp 131–144. American Mathematical Society, ProvidenceGoogle Scholar
- Gerla B (2003) Many-valued logic and semirings. Neural Netw World 5:467–480Google Scholar
- Zhang J, Zhang H (1995) SEM: a system for enumerating models. In: Proceedings of international joint conference on AI (IJCAI-95), pp 298–303Google Scholar