Implication in Weakly and Dually Weakly Orthomodular Lattices
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F21%3A73603182" target="_blank" >RIV/61989592:15310/21:73603182 - isvavai.cz</a>
Result on the web
<a href="https://obd.upol.cz/id_publ/333183068" target="_blank" >https://obd.upol.cz/id_publ/333183068</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-030-52163-9_4" target="_blank" >10.1007/978-3-030-52163-9_4</a>
Alternative languages
Result language
angličtina
Original language name
Implication in Weakly and Dually Weakly Orthomodular Lattices
Original language description
Weakly orthomodular and dually weakly orthomodular lattices were introduced by the authors in a recent paper. Similarly as for orthomodular lattices we try to introduce an implication in these lattices which can be easily axiomatized and which yields a nice lattice structure. As shown in the paper, this can be realized in several different ways. Moreover, we reveal the connection of weakly and dually weakly orthomodular lattices to residuated structures. Furthermore, we provide a characterization of these lattices by means of certain generalized measures.
Czech name
—
Czech description
—
Classification
Type
C - Chapter in a specialist book
CEP classification
—
OECD FORD branch
10101 - Pure mathematics
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
2021
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
Book/collection name
Algebraic Perspectives on Substructural Logics
ISBN
978-3-030-52162-2
Number of pages of the result
16
Pages from-to
41-56
Number of pages of the book
194
Publisher name
Springer Basel
Place of publication
Basel
UT code for WoS chapter
—