C
2021
Residuated Operators and Dedekind–MacNeille Completion
CHAJDA, Ivan, Helmut LÄNGER and Jan PASEKA
Basic information
Original name
Residuated Operators and Dedekind–MacNeille Completion
Authors
CHAJDA, Ivan (guarantor), Helmut LÄNGER and
Jan PASEKA (203 Czech Republic, belonging to the institution)
Edition
Cham, Algebraic Perspectives on Substructural Logics, p. 57-72, 16 pp. TREN, volume 55, 2021
Other information
Type of outcome
Kapitola resp. kapitoly v odborné knize
Field of Study
10101 Pure mathematics
Country of publisher
Germany
Confidentiality degree
není předmětem státního či obchodního tajemství
Publication form
printed version "print"
RIV identification code
RIV/00216224:14310/21:00118809
Organization unit
Faculty of Science
Keywords in English
residuated lattices; Operators
Tags
International impact, Reviewed
V originále
The concept of operator residuation for bounded posets with unary operation was introduced by the first two authors. It turns out that in some cases when these operators are transformed into lattice terms and the poset P is completed to its Dedekind–MacNeille completion DM(P) then the complete lattice DM(P) becomes a residuated lattice with respect to these transformed terms. It is shown that this holds in particular for Boolean posets and for relatively pseudocomplemented posets. A more complicated situation is with orthomodular and pseudo-orthomodular posets. We show which operators M (multiplication) and R (residuation) yield operator left-residuation in a pseudo-orthomodular poset P and if DM(P) is an orthomodular lattice then the transformed lattice terms circled dot and -> form a left residuation in DM(P). However, it is a problem to determine when DM(P) is an orthomodular lattice. We get some classes of pseudo-orthomodular posets for which their Dedekind–MacNeille completion is an orthomodular lattice and we introduce the so-called strongly D-continuous pseudo-orthomodular posets. Finally we prove that, for a pseudo-orthomodular poset P, the Dedekind–MacNeille completion DM(P) is an orthomodular lattice if and only if P is strongly D-continuous.
Links
GA18-06915S, research and development project | Name: Nové přístupy k agregačním operátorům v analýze a zpracování dat | Investor: Czech Science Foundation |
|
Displayed: 11/11/2024 04:36