Sublattices and delta-blocks of orthomodular posets
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F20%3A73603171" target="_blank" >RIV/61989592:15310/20:73603171 - isvavai.cz</a>
Result on the web
<a href="https://academic.oup.com/logcom/article/30/7/1401/5876954" target="_blank" >https://academic.oup.com/logcom/article/30/7/1401/5876954</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1093/logcom/exaa037" target="_blank" >10.1093/logcom/exaa037</a>
Alternative languages
Result language
angličtina
Original language name
Sublattices and delta-blocks of orthomodular posets
Original language description
States of quantum systems correspond to vectors in a Hilbert space and observations to closed subspaces. Hence, this logic corresponds to the algebra of closed subspaces of a Hilbert space It was shown that the orthogonal subspaces form an orthomodular poset or, more general, an orthoposet. We introduce a binary relation delta and a binary operation d(x,y) that are generalizations of the binary relation C and the commutator c(x,y) known for orthomodular lattices. We characterize orthomodular posets among orthoposets. We describe maximal orthomodular sublattices and Boolan subalgebras of such orthomodular posets. We study properties of delta-blocks with respect to Boolean subalgebras and distributive subposets.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GF20-09869L" target="_blank" >GF20-09869L: The many facets of orthomodularity</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2020
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
JOURNAL OF LOGIC AND COMPUTATION
ISSN
0955-792X
e-ISSN
—
Volume of the periodical
30
Issue of the periodical within the volume
7
Country of publishing house
GB - UNITED KINGDOM
Number of pages
23
Pages from-to
"1401 "- 1423
UT code for WoS article
000593085100005
EID of the result in the Scopus database
2-s2.0-85097024235