Ortho and causal closure as a closure operations in the causal logic

摘要

We investigate two different closure operations (ortho and causal closure) generated by a causal structure. In the case of orthogonal sets bounded in time two closure operations coincide and a lattice of double orthoclosed sets in this case is orthomodular.