We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
An algebraic axiomatization of orthogonal posets.
- Authors
Chajda, Ivan
- 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, ), Dorninger and Länger (Intern J Theor Phys 52:1141-1147, ) 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.
- Subjects
ORTHOGONAL functions; QUANTUM mechanics; QUANTUM theory; PARTIAL algebras; UNIVERSAL algebra; BINARY operations
- Publication
Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2014, Vol 18, Issue 1, p1
- ISSN
1432-7643
- Publication type
Article
- DOI
10.1007/s00500-013-1047-1