Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Contraexamples in difference posets and orthoalgebras


We show that every orthoalgebra (difference orthoposet) uniquely determines a difference orthoalgebraic structure. We give examples of posets on which there exist more than one difference operation. In spite of that, every finite chain is a uniquely determined difference poset. On a difference poset there need not exist any orthoalgebraic operation, but the category of difference orthoposets is isomorphic with the category of orthoalgebras. But a difference poset which is also an orthoposet need not be a difference orthoposet. Moreover, there exist complete lattices on which there does not exist any difference operation. Finally, we show that difference operations and orthoalgebraic operations need not be extendable on a MacNeille completion of the base poset.

This is a preview of subscription content, log in to check access.


  1. Foulis, D., and Pták, P. (n.d.). On the tensor product of Boolean algebra and an orthoalgebra,Czechoslovak Mathematical Journal, to appear.

  2. Foulis, D., Greechie, R., and Rüttimann, G. (1992). Filters and supports in orthoalgebras,International Journal of Theoretical Physics,31, 789–807.

  3. Kalmbach, G. (1983).Orthomodular Lattices, Academic Press, London.

  4. Kôpka, F., and Chovanec, F. (n.d.). D-posets,Math. Slovaca, to appear.

  5. Navara, M., and Pták, P. (n.d.). Difference posets and orthoalgebras, Preprint.

  6. Pták, P., and Pulmannová, S. (1991).Orthomodular Structures as Quantum Logics, Kluwer, Dordrecht.

  7. Randall, C., and Foulis, D. (1981). What are quantum logics and what ought they to be?, inCurrent Issues in Quantum Logic, E. Beltrametti and B. van Fraassen, eds., Plenum Press, New York, pp. 35–52.

  8. Riečanová, Z. (n.d.). On completions of orthoposets, Preprint.

  9. Schmidt, J. (1956). Zur Kennzeichnung der Dedekind-MacNeillschen Hulle einer geordnetten Menge,Archiv der Mathematik,7, 241–249.

Download references

Author information

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Riečanová, Z., Bršel, D. Contraexamples in difference posets and orthoalgebras. Int J Theor Phys 33, 133–141 (1994).

Download citation


  • Field Theory
  • Elementary Particle
  • Quantum Field Theory
  • Complete Lattice
  • Difference Operation