Abstract
Abstract The concept of quantale was created in 1984 to develop a framework for non-commutative spaces and quantum mechanics with a view toward non-commutative logic. The logic of quantales and its algebraic semantics manifests itself in a class of partially ordered algebras with a pair of implicational operations recently introduced as quantum B-algebras. Implicational algebras like pseudo-effect algebras, generalized BL- or MV-algebras, partially ordered groups, pseudo-BCK algebras, residuated posets, cone algebras, etc., are quantum B-algebras, and every quantum B-algebra can be recovered from its spectrum which is a quantale. By a two-fold application of the functor “spectrum”, it is shown that quantum B-algebras have a completion which is again a quantale. Every quantale Q is a quantum B-algebra, and its spectrum is a bigger quantale which repairs the deficiency of the inverse residuals of Q. The connected components of a quantum B-algebra are shown to be a group, a fact that applies to normal quantum B-algebras arising in algebraic number theory, as well as to pseudo-BCI algebras and quantum BL-algebras. The logic of quantum B-algebras is shown to be complete.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.