Weak QMV algebras and some ring-like structures
- First Online:
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
- 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