Abstract
The main aim of the paper is to solve a problem posed in Di Nola et al. (Multiple Val. Logic 8:715–750, 2002) whether every pseudo BL-algebra with two negations is good, i.e. whether the two negations commute. This property is intimately connected with possessing a state, which in turn is essential in quantum logical applications. We approach the solution by describing the structure of pseudo BL-algebras and pseudo hoops as important families of quantum structures. We show when a pseudo hoop can be embedded into the negative cone of the reals. We give an equational base characterizing representable pseudo hoops. We also describe some subvarieties: normal-valued, and varieties where each maximal filter is normal. We produce some noncommutative covers and extend the area where each algebra is good. Finally, we show that there are uncountably many subvarieties of pseudo BL-algebras having members that are not good.
Similar content being viewed by others
References
Aglianò, P., Montagna, F.: Varieties of BL-algebras I: general properties. J. Pure Appl. Algebra 181, 105–129 (2003)
Birkhoff, G., von Neumann, J.: The logic of quantum mechanics. Ann. Math. 37, 823–834 (1936)
Blount, K., Tsinaks, C.: The structure of residuated lattices. Inter. J. Algebra Comput. 13, 437–461 (2003)
Bosbach, B.: Komplementäre Halbgruppen. Axiomatik und Arithmetik. Fund. Math. 64, 257–287 (1966)
Bosbach, B.: Komplementäre Halbgruppen. Kongruenzen and Quotienten. Fund. Math. 69, 1–14 (1970)
Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra, Millennium Edition. Internet version, http://www.math.uwaterloo.ca/~snburris/htdocs/ualg.html
Chang, C.C.: Algebraic analysis of many-valued logics. Trans. Am. Math. Soc. 88, 467–490 (1958)
Cignoli, R., D’Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of Many-valued Reasoning. Kluwer, Dordrecht (2000)
Dalla Chiara, M., Giuntini, R., Greechie, R.: Reasoning in Quantum Theory. Sharpened Unsharp Quantum Logics. Kluwer, Dordrecht (2004)
Dalla Chiara, M., Giuntini, R., Leporini, R.: Quantum computational logics. In: Hendricks, V.F., Malinowski, J. (eds.) Trends in Logic: 50 Years of Studia Logica, pp. 213–255. Kluwer, Dordrecht (2003)
Darnel, M.R.: Theory of Lattice-Ordered Groups. Marcel Dekker, New York (1995)
Di Nola, A., Dvurečenskij, A., Tsinakis, C.: On perfect GMV-algebras. Commun. Algebra 36, 1221–1249 (2008)
Di Nola, A., Georgescu, G., Iorgulescu, A.: Pseudo-BL algebras. I. Multiple Val. Logic 8, 673–714 (2002)
Di Nola, A., Georgescu, G., Iorgulescu, A.: Pseudo-BL algebras. II. Multiple Val. Logic 8, 715–750 (2002)
Dvurečenskij, A.: Pseudo MV-algebras are intervals in ℓ-groups. J. Aust. Math. Soc. 70, 427–445 (2002)
Dvurečenskij, A.: States on pseudo MV-algebras. Studia Logica 68, 301–327 (2001)
Dvurečenskij, A.: Every linear pseudo BL-algebra admits a state. Soft Comput. 11, 495–501 (2007)
Dvurečenskij, A.: Aglianò–Montagna type decomposition of linear pseudo hoops and its applications. J. Pure Appl. Algebra 211, 851–861 (2007)
Dvurečenskij, A., Holland, W.C.: Covers of the Abelian variety of generalized MV-algebras. Commun. Algebra (to appear)
Dvurečenskij, A., Pulmannová, S.: New Trends in Quantum Structures. Kluwer, Dordrecht (2000)
Dvurečenskij, A., Rachůnek, J.: On Riečan and Bosbach states for bounded non-commutative R ℓ-monoids. Math. Slovaca 56, 487–500 (2006)
Dvurečenskij, A., Vetterlein, T.: Pseudo-effect algebras. I. Basic properties. Inter. J. Theor. Phys. 40, 685–701 (2001)
Dvurečenskij, A., Vetterlein, T.: Pseudo-effect algebras. II. Group representation. Inter. J. Theor. Phys. 40, 703–726 (2001)
Foulis, D.J., Bennett, M.K.: Effect algebras and unsharp quantum logics. Found. Phys. 24, 1325–1346 (1994)
Galatos, N., Tsinakis, C.: Generalized MV-algebras. J. Algebra 283, 254–291 (2005)
Georgescu, G., Iorgulescu, A.: Pseudo-MV algebras. Multiple Val. Logic 6, 95–135 (2001)
Georgescu, G., Leuştean, L., Preoteasa, V.: Pseudo-hoops. J. Multiple-Val. Logic Soft Comput. 11, 153–184 (2005)
Giuntini, R.: Quasilinear QV-algebras. Inter. J. Theor. Phys. 34, 1397–1407 (1995)
Giuntini, R.: Quantum MV-algebras. Studia Logica 56, 393–417 (1996)
Giuntini, R., Greuling, H.: Toward a formal language for unsharp properties. Found. Phys. 19, 931–945 (1989)
Greechie, R.: Orthomodular lattices admitting no states. J. Comb. Theor. 10, 119–132 (1971)
Hájek, P.: Basic fuzzy logic and BL-algebras. Soft Comput. 2, 124–128 (1998)
Holland, W.C.: Covers of the Boolean variety in the lattice of varieties of unital lattice-ordered groups and GMV-algebras. In: Bayanova, N. (ed.) Izbrannye Voprosi Algebri, pp. 208–217. Altai State University Barnaul, Barnaul (2007)
Holland, W.C., Medvedev, N.Ya.: A very large class of small varieties of lattice ordered-groups. Commun. Algebra 22, 551–578 (1994)
Jipsen, P., Montagna, F.: On the structure of generalized BL-algebras. Algebra Universalis 55, 226–237 (2006)
Kolmogorov, A.N., Grundbegriffe der Wahrscheinlichkeitsrechnung. Berlin (1933)
Kôpka, F., Chovanec, F.: D-posets. Math. Slovaca 44, 21–34 (1994)
Kühr, J.: Pseudo BL-algebras and DRℓ-monoids. Math. Bohemica 128, 199–202 (2003)
Kühr, J.: Representable pseudo-BCK-algebras and integral residuated lattices. J. Algebra 317, 354–364 (2007)
Łukasiewicz, J.: O logice trójwartościowej. Ruch Filozoficzny 6, 170–171 (1920). Translated by O. Wojtasiewicz, in: L. Borkowski, Selected Works of J. Łukasiewicz, North-Holland, Amsterdam, 1970
Mittelstaedt, P.: Quantum Logics. Reidel, Dordrecht (1978)
Mittelstaedt, P.: Sprache und Realität in der modern Physik. Bibliographisches Institut, Mannheim (1986)
Rachůnek, J.: A non-commutative generalization of MV-algebras. Czechoslov. Math. J. 52, 255–273 (2002)
Varadarajan, V.S.: Geometry of Quantum Theory, vol. 1. van Nostrand, Princeton (1968)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Prof. P. Mittelstaedt on the occasion of his 80th birthday.
AD acknowledges the University of Cagliari for the hospitality during his stay in Autumn 2008.
The paper has been supported by the Center of Excellence SAS - Physics of Information - I/2/2005, the grant VEGA No. 2/0032/09 SAV, by Science and Technology Assistance Agency under the contract APVV-0071-06, Bratislava, Slovakia.
Rights and permissions
About this article
Cite this article
Dvurečenskij, A., Giuntini, R. & Kowalski, T. On the Structure of Pseudo BL-algebras and Pseudo Hoops in Quantum Logics. Found Phys 40, 1519–1542 (2010). https://doi.org/10.1007/s10701-009-9342-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10701-009-9342-5