Abstract
Let S be a poset with a greatest element 1. We denote order in S by ‘≦’ and, whenever they exist in S, l.u.b and g.l.b by ‘∨’ and ‘∧’ respectively. An orthocomplementation of S is a bijection w: S → S such that x ∨ xω exists for each x in S and (i) xωω = x, (ii) x ≦ y implies yω ≦ xω and (iii) x ∨xω = 1. If a poset S admits an orthocomplementation ω we call the pair (S, ω) an orthoposet.
Publisher
Cambridge University Press (CUP)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献