Results 1 
3 of
3
THE SEMILATTICE, □, AND ⊠−TENSOR PRODUCTS IN QUANTUM LOGIC
, 2004
"... Abstract. Given two complete atomistic lattices L1 and L2, we define a set S = S(L1, L2) of complete atomistic lattices by means of four axioms (natural regarding the logic of compound quantum systems), or in terms of a universal property with respect to a given class of bimorphisms (Th. 3.3). S is ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
Abstract. Given two complete atomistic lattices L1 and L2, we define a set S = S(L1, L2) of complete atomistic lattices by means of four axioms (natural regarding the logic of compound quantum systems), or in terms of a universal property with respect to a given class of bimorphisms (Th. 3.3). S is a complete lattice (Th. 0.10). The bottom element L1 ∧○L2 is the separated product of Aerts [1]. For atomistic lattices with 1 (not complete), L1 ∧○L2 ∼ = L1□L2 the box product of Grätzer and Wehrung [7], and, in case L1 and L2 are moreover coatomistic, L1 ∧○L2 ∼ = L1 ⊠ L2 the lattice tensor product (Th. 2.2). The top element L1 ∨○L2 is the (complete) joinsemilattice tensor product of Fraser [5] (Th. 2.12), which is isomorphic to the tensor of Chu [2] and Shmuely [17] (Th. 2.5). With some additional hypotheses on L1 and L2 (true if L1 and L2 are moreover orthomodular with the covering property), we prove that S is a singleton if and only if L1 or L2 is distributive (Th. 4.3, Cor. 4.7), if and only if L1 ∨○L2 has the covering property (Th. 7.4). Our main result reads: L ∈ S is orthocomplemented if and only if L = L1 ∧○L2 (Th. 6.8). For L1
THE SEMILATTICE, BOX, AND LATTICETENSOR PRODUCTS IN QUANTUM LOGIC
, 2005
"... Abstract. Given two complete atomistic lattices L1 and L2, we define a set S = S(L1, L2) of complete atomistic lattices by means of three axioms (natural regarding the description of separated quantum compound systems), or in terms of a universal property with respect to a given class of bimorphisms ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
Abstract. Given two complete atomistic lattices L1 and L2, we define a set S = S(L1, L2) of complete atomistic lattices by means of three axioms (natural regarding the description of separated quantum compound systems), or in terms of a universal property with respect to a given class of bimorphisms. We prove that S is a complete lattice. The bottom element L1 ∧○L2 is the separated product of Aerts. For atomistic lattices with 1 (not complete), L1 ∧○L2 ∼ = L1□L2 the box product of Grätzer and Wehrung, and, in case L1 and L2 are moreover coatomistic, L1 ∧○L2 ∼ = L1⊠L2 the lattice tensor product. The top element L1 ∨○L2 is the (complete) joinsemilattice tensor product of Fraser, which is isomorphic to the tensor products of Chu and Shmuely. With some additional hypotheses on L1 and L2 (true if L1 and L2 are moreover orthomodular with the covering property), we prove that S is a singleton if and only if L1 or L2 is distributive, if and only if L1 ∨○L2 has the covering property. Our main result reads: L ∈ S admits an orthocomplementation if and only if L = L1 ∧○L2. For L1 and L2 moreover irreducible, we characterize the automorphisms of each L ∈ S in terms of those of L1 and L2. At the end, we construct an example L1 ⇓○L2 in S which has the covering property. 1.
THE CHU CONSTRUCTION IN QUANTUM LOGIC
, 2008
"... Abstract. The Chu construction is used to define a ∗−autonomous structure on a category of complete atomistic coatomistic lattices, denoted by ..."
Abstract
 Add to MetaCart
Abstract. The Chu construction is used to define a ∗−autonomous structure on a category of complete atomistic coatomistic lattices, denoted by