Abstract
Several characterizations of orthomodular lattices based on properties of an antitone involution or on sectional antitone involutions are given. Another approach is based on properties of the implication operation which can be derived in every orthomodular lattice but can be also added to basic operations of a bounded lattice. Finally, we introduce the so-called weakly orthomodular lattice as a generalization of orthomodular lattices.
Acknowledgement
The authors would like to thank the referees for their valuable and constructive comments.
References
[1] Abbott, J. C.: Orthoimplication algebras, Studia Logica 35 (1976), 173–177.10.1007/BF02120879Search in Google Scholar
[2] Beran, L.: Orthomodular Lattices — Algebraic Approach, Academia, Czechoslovak Acad. of Sci./Reidel Publ. Company, Praha/Dortrecht, 1984.10.1007/978-94-009-5215-7_5Search in Google Scholar
[3] Birkhoff, G.: Lattice Theory (3rd ed.). Amer. Math. Soc. Colloq. Publ. 25, Amer. Math. Soc., Providence, RI, 1967.Search in Google Scholar
[4] Birkhoff, G.—Von Neumann, J.: The logics of quantum mechanics, Ann. of Math. (2) 37 (1936), 823–834.10.2307/1968621Search in Google Scholar
[5] Chajda, I.: Lattices and semilattices having an antitone involution in every upper interval, Comment. Math. Univ. Carolin. 44 (2003), 577–585.Search in Google Scholar
[6] CHAJDA, I.: Orthomodular semilattices, Discrete Math. 307 (2007), 115–118.10.1016/j.disc.2006.05.040Search in Google Scholar
[7] Chajda, I.—Halas, R.: An implication in orthologic, Internat. J. Theoret. Phys. 44 (2005), 735–744.10.1007/s10773-005-7051-1Search in Google Scholar
[8] Chajda, I.—Halas, R.—Länger, H.: Orthomodular implication algebras, Internat. J. Theoret. Phys. 40 (2001), 1875–1884.10.1023/A:1011933018776Search in Google Scholar
[9] Chajda, I.—Halas, R.—Kühr, J.: Semilattice Structures, Heldermann Verlag, Lemgo, 2007.Search in Google Scholar
[10] Chajda, I.—Kühr, J.: A generalization of effect algebras and ortholattices, Math. Slovaca 62 (2012), 1045–1062.10.2478/s12175-012-0063-4Search in Google Scholar
[11] Chajda, I.—Radeleczki, S.: Semilattices with antitone bijections, Novi Sad J. Math. 35 (2005), 93–101.Search in Google Scholar
[12] Gabiels, J. J. M.—Navara, M.: Associativity of operations in orthomodular lattices, Math. Slovaca 62 (2012), 1069–1078.10.2478/s12175-012-0065-2Search in Google Scholar
[13] Husimi, K.: Studies of the foundations of quantum mechanics I., Proc. Phys.-Math. Soc. Japan 19 (1937), 766–789.Search in Google Scholar
[14] Kalmbach, G.: Orthomodular Lattices, Academic Press, London-New York, 1983.Search in Google Scholar
[15] Pavicic, M.—Megill, N. D.: Quantum and classical implication algebras with primitive implications, In-ternat. J. Theoret. Phys. 37 (1998), 2091–2098.10.1023/A:1026685801864Search in Google Scholar
[16] Smets S.: Logic and Quantum Physic, (2014). http://staff.science.uva.nl/~ssimon/indjournal/pdf/smets.pdf.Search in Google Scholar
© 2016 Mathematical Institute Slovak Academy of Sciences
Articles in the same Issue
- Research Article
- Effect algebras with a full set of states
- Research Article
- An approach to orthomodular lattices via lattices with an antitone involution
- Research Article
- On properties of the free BCI-algebra with one generator
- Research Article
- The generalized order-k Narayana's cows numbers
- Research Article
- The irrationality of infinite series of a special kind
- Research Article
- On skew-commuting mappings in semiprime rings
- Research Article
- On the subordination and superordination of strongly starlike functions
- Research Article
- On a subclass of analytic functions involving Sălăgean integral operator
- Research Article
- Uniqueness of meromorphic functions sharing a value or small function
- Research Article
- A new inclusion for Bavrin's families of holomorphic functions in n-circular domains
- Research Article
- Oscillation of nonlinear fourth order mixed neutral differential equations
- Research Article
- Oscillation results for third order nonlinear mixed neutral differential equations
- Research Article
- Homoclinic solutions for second order Hamiltonian systems with general potentials
- Research Article
- A class of fractional impulsive functional differential equations with nonlocal conditions
- Research Article
- The weighted reverse poincaré type inequality for the difference of two parabolic subsolutions
- Research Article
- On the well posed solutions for nonlinear second order neutral difference equations
- Research Article
- Some approximation results for operators of Szász-Mirakjan-Durrmeyer type
- Research Article
- On the geometry of conditional expectations treated as projections on the L2-space
- Research Article
- Spectral problems of nonself-adjoint singular discrete Sturm-Liouville operators
- Research Article
- A necessary condition for the Smith equivalence of G-modules and its sufficiency
- Research Article
- On the internal approach to differential equations. 1. The involutiveness and standard basis
- Research Article
- Law of inertia for the factorization of cubic polynomials — the case of discriminants divisible by three
Articles in the same Issue
- Research Article
- Effect algebras with a full set of states
- Research Article
- An approach to orthomodular lattices via lattices with an antitone involution
- Research Article
- On properties of the free BCI-algebra with one generator
- Research Article
- The generalized order-k Narayana's cows numbers
- Research Article
- The irrationality of infinite series of a special kind
- Research Article
- On skew-commuting mappings in semiprime rings
- Research Article
- On the subordination and superordination of strongly starlike functions
- Research Article
- On a subclass of analytic functions involving Sălăgean integral operator
- Research Article
- Uniqueness of meromorphic functions sharing a value or small function
- Research Article
- A new inclusion for Bavrin's families of holomorphic functions in n-circular domains
- Research Article
- Oscillation of nonlinear fourth order mixed neutral differential equations
- Research Article
- Oscillation results for third order nonlinear mixed neutral differential equations
- Research Article
- Homoclinic solutions for second order Hamiltonian systems with general potentials
- Research Article
- A class of fractional impulsive functional differential equations with nonlocal conditions
- Research Article
- The weighted reverse poincaré type inequality for the difference of two parabolic subsolutions
- Research Article
- On the well posed solutions for nonlinear second order neutral difference equations
- Research Article
- Some approximation results for operators of Szász-Mirakjan-Durrmeyer type
- Research Article
- On the geometry of conditional expectations treated as projections on the L2-space
- Research Article
- Spectral problems of nonself-adjoint singular discrete Sturm-Liouville operators
- Research Article
- A necessary condition for the Smith equivalence of G-modules and its sufficiency
- Research Article
- On the internal approach to differential equations. 1. The involutiveness and standard basis
- Research Article
- Law of inertia for the factorization of cubic polynomials — the case of discriminants divisible by three