Skip to main content
SpringerLink
Log in

An algebraic axiomatization of orthogonal posets

  • Foundations
  • Published:
Soft Computing Aims and scope Submit manuscript

Abstract

The so-called orthogonal posets form an important tool for some investigations in the logic of quantum mechanics because they can be recognized as so-called quantum structures. The motivation for studying quantum structures is included e.g. in the monograph by Dvurečenskij and Pulmannová or in the papers by Beltrametti and Maczyński. It is shown that every space of numerical events [see Chajda and Länger (Intern J Theor Phys 50:2403, 2011b), Dorninger and Länger (Intern J Theor Phys 52:1141–1147, 2013) and references therein] forms an orthogonal poset. Hence, orthogonal posets should be axiomatized by standard algebraic machinery. However, considering supremum as a binary operation, they form only partial algebras. The aim of the paper is to involve a different way which enables us to describe orthogonal posets as total algebras and get an algebraic axiomatization as an equational theory.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1

Similar content being viewed by others

References

  • Beltrametti EG, Maczyński MJ (1991) On a characterization of classical and nonclassical probabilities. J Math Phys 32:1280–1286

    Article  MATH  MathSciNet  Google Scholar 

  • Beran L (1984) Orthomodular lattices—algebraic approach. Academia, Praha

  • Birkhoff G, von Neumann J (1936) The logic of quantum mechanics. Ann Math 37:823–843

    Article  Google Scholar 

  • Chajda I, Kolařík M (2013) Variety of orthomodular posets (preprint)

  • Chajda I, Länger H (2011a) Directoids—an algebraic approach to ordered sets. Heldermann Verlag, Lemgo

  • Chajda I, Länger H (2011b) Spaces of abstract events. Intern J Theor Phys. doi:10.1007/s10773-012-1275-7

    Google Scholar 

  • Dorninger D, Länger H (2013) Testing for classicality of a physical system. Intern J Theor Phys 52:1141–1147

    Article  MATH  Google Scholar 

  • Dvurečenskij A, Pulmannová S (2000) New trends in quantum structures. Kluwer, Dordrecht

  • Greechie RJ, Foulis D, Pulmannová S (1995) The center of an effect algebra. Order 12:91–106

    Article  MATH  MathSciNet  Google Scholar 

  • Kôpka F, Chovanec F (1994) D-posets. Math Slovaca 44:21–34

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Algebra and Geometry, Faculty of Science, Palacký University, 17. listopadu 12, 771 46, Olomouc, Czech Republic

    Ivan Chajda

Authors
  1. Ivan Chajda
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ivan Chajda.

Additional information

Communicated by A. Dvurečenskij.

I. Chajda was supported by the Project CZ.1.07/2.3.00/20.0051 Algebraic Methods in Quantum Logic.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Chajda, I. An algebraic axiomatization of orthogonal posets. Soft Comput 18, 1–4 (2014). https://doi.org/10.1007/s00500-013-1047-1

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00500-013-1047-1

Keywords

Search

Navigation