An algebraic axiomatization of orthogonal posets

作者：Chajda Ivan^*

来源：Soft Computing, 2014, 18(1): 1-4.

DOI：10.1007/s00500-013-1047-1

• Poset
• Orthomodular poset
• Orthogonal poset
• Variety of algebras

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 Dvureenskij and Pulmannova or in the papers by Beltrametti and MaczyA"ski. It is shown that every space of numerical events [see Chajda and Langer (Intern J Theor Phys 50:2403, 2011b), Dorninger and Langer (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.

• 出版日期2014-1