Matches in SemOpenAlex for { <https://semopenalex.org/work/W1568651926> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1568651926 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 bimor- phisms. We prove that S is a complete lattice. The bottom element L1 ∧ L 2 is the separated product of Aerts. For atomistic lattices with 1 (not complete), L1 ∧ L 2 ∼ L1� L2 the box product of Gratzer and Wehrung, and, in case L1 and L2 are moreover coatomistic, L1 ∧ L 2 ∼ L1 ⊠L2 the lattice tensor product. The top element L1 ∨ L 2 is the (complete) join-semilattice 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 ∨ L 2 has the covering property. Our main result reads: L ∈ S admits an orthocomplementation if and only if L = L1 ∧ L 2. 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 ⇓ L 2 in S which has the covering property." @default.
- W1568651926 created "2016-06-24" @default.
- W1568651926 creator A5019601887 @default.
- W1568651926 date "2005-01-01" @default.
- W1568651926 modified "2023-09-27" @default.
- W1568651926 title "THE SEMILATTICE, BOX, AND LATTICE-TENSOR PRODUCTS IN QUANTUM LOGIC" @default.
- W1568651926 cites W1535155962 @default.
- W1568651926 cites W158517641 @default.
- W1568651926 cites W1970679383 @default.
- W1568651926 cites W1987674414 @default.
- W1568651926 cites W1998540863 @default.
- W1568651926 cites W2053248423 @default.
- W1568651926 cites W2064924638 @default.
- W1568651926 cites W2068130742 @default.
- W1568651926 cites W2074319183 @default.
- W1568651926 cites W2086037765 @default.
- W1568651926 cites W2137852732 @default.
- W1568651926 cites W2506049836 @default.
- W1568651926 cites W2543668453 @default.
- W1568651926 cites W3126996113 @default.
- W1568651926 cites W3127548732 @default.
- W1568651926 hasPublicationYear "2005" @default.
- W1568651926 type Work @default.
- W1568651926 sameAs 1568651926 @default.
- W1568651926 citedByCount "0" @default.
- W1568651926 crossrefType "posted-content" @default.
- W1568651926 hasAuthorship W1568651926A5019601887 @default.
- W1568651926 hasConcept C111472728 @default.
- W1568651926 hasConcept C114614502 @default.
- W1568651926 hasConcept C11821877 @default.
- W1568651926 hasConcept C118615104 @default.
- W1568651926 hasConcept C121332964 @default.
- W1568651926 hasConcept C124007464 @default.
- W1568651926 hasConcept C132170107 @default.
- W1568651926 hasConcept C138885662 @default.
- W1568651926 hasConcept C167729594 @default.
- W1568651926 hasConcept C169460222 @default.
- W1568651926 hasConcept C189950617 @default.
- W1568651926 hasConcept C202444582 @default.
- W1568651926 hasConcept C207405024 @default.
- W1568651926 hasConcept C24890656 @default.
- W1568651926 hasConcept C2524010 @default.
- W1568651926 hasConcept C2781204021 @default.
- W1568651926 hasConcept C33923547 @default.
- W1568651926 hasConcept C41678559 @default.
- W1568651926 hasConcept C51255310 @default.
- W1568651926 hasConcept C58053490 @default.
- W1568651926 hasConcept C62520636 @default.
- W1568651926 hasConcept C84114770 @default.
- W1568651926 hasConcept C93776189 @default.
- W1568651926 hasConceptScore W1568651926C111472728 @default.
- W1568651926 hasConceptScore W1568651926C114614502 @default.
- W1568651926 hasConceptScore W1568651926C11821877 @default.
- W1568651926 hasConceptScore W1568651926C118615104 @default.
- W1568651926 hasConceptScore W1568651926C121332964 @default.
- W1568651926 hasConceptScore W1568651926C124007464 @default.
- W1568651926 hasConceptScore W1568651926C132170107 @default.
- W1568651926 hasConceptScore W1568651926C138885662 @default.
- W1568651926 hasConceptScore W1568651926C167729594 @default.
- W1568651926 hasConceptScore W1568651926C169460222 @default.
- W1568651926 hasConceptScore W1568651926C189950617 @default.
- W1568651926 hasConceptScore W1568651926C202444582 @default.
- W1568651926 hasConceptScore W1568651926C207405024 @default.
- W1568651926 hasConceptScore W1568651926C24890656 @default.
- W1568651926 hasConceptScore W1568651926C2524010 @default.
- W1568651926 hasConceptScore W1568651926C2781204021 @default.
- W1568651926 hasConceptScore W1568651926C33923547 @default.
- W1568651926 hasConceptScore W1568651926C41678559 @default.
- W1568651926 hasConceptScore W1568651926C51255310 @default.
- W1568651926 hasConceptScore W1568651926C58053490 @default.
- W1568651926 hasConceptScore W1568651926C62520636 @default.
- W1568651926 hasConceptScore W1568651926C84114770 @default.
- W1568651926 hasConceptScore W1568651926C93776189 @default.
- W1568651926 hasLocation W15686519261 @default.
- W1568651926 hasOpenAccess W1568651926 @default.
- W1568651926 hasPrimaryLocation W15686519261 @default.
- W1568651926 hasRelatedWork W1014476210 @default.
- W1568651926 hasRelatedWork W1034016385 @default.
- W1568651926 hasRelatedWork W131019088 @default.
- W1568651926 hasRelatedWork W1984450777 @default.
- W1568651926 hasRelatedWork W1986931193 @default.
- W1568651926 hasRelatedWork W2000102523 @default.
- W1568651926 hasRelatedWork W2003276859 @default.
- W1568651926 hasRelatedWork W2062251184 @default.
- W1568651926 hasRelatedWork W2484461718 @default.
- W1568651926 hasRelatedWork W2577424424 @default.
- W1568651926 hasRelatedWork W2803006355 @default.
- W1568651926 hasRelatedWork W2963705878 @default.
- W1568651926 hasRelatedWork W2964880323 @default.
- W1568651926 hasRelatedWork W2979505123 @default.
- W1568651926 hasRelatedWork W2998028097 @default.
- W1568651926 hasRelatedWork W3099753942 @default.
- W1568651926 hasRelatedWork W3104748141 @default.
- W1568651926 hasRelatedWork W71090071 @default.
- W1568651926 hasRelatedWork W758986066 @default.
- W1568651926 isParatext "false" @default.
- W1568651926 isRetracted "false" @default.
- W1568651926 magId "1568651926" @default.
- W1568651926 workType "article" @default.