Some classes of planar lattices and interval-valued fuzzy sets

U radu je ispitan sledeći problem: Pod kojim uslovima se može rekonstruisati  (sintetisati) intervalno-vrednosni rasplinuti skup iz  poznate familije nivo skupova. U tu svrhu su proučena svojstva mreža intervala za svaki od četiri izabrana mrežna  uređenja: poredak po komponentama, neprecizni poredak (skupovna inkluzija), strogi  i leksikografski poredak.  Definisane su i-između i ili-između ravne mreže   i ispitana njihova svojstva potrebna za rešavanje postavljenog problema sinteze za intervalno-vrednosne rasplinute skupove. Za i-između ravne mreže je dokazano da su, u svom konačnom slučaju, slim mreže i dualno, da su ili-između ravne mreže dualno-slim mreže. Data je karakterizacija kompletnih konačno prostornih i dualno konačno prostornih mreža.  Određena je klasa mreža koje se mogu injektivno preslikati u direktan proizvod n  kompletnih lanaca tako da su očuvani supremumi i dualno, određena je klasa mreža koje se mogu injektivno preslikati u direktan proizvod n lanaca tako da su očuvani infimumi.  U rešavanju problema sinteze posmatrana su dva tipa nivo skupova - gornji i donji nivo skupovi. Potreban i dovoljan uslov za sintezu intervalno-vrednosnog rasplinutog skupa iz poznate familije nivo skupova određen je za mrežu intervala koja je uređena poretkom po komponentama, za oba tipa posmatranih nivo skupova. Za mrežu intervala uređenu nepreciznim poretkom, problem je rešen za donje nivo skupove, dok su za gornje nivo skupove određeni dovoljni uslovi. Za mrežu intervala koja je uređena leksikografskim poretkom, takođe su dati dovoljni uslovi i to za oba tipa nivo skupova.  Za mrežu intervala uređenu strogim poretkom problem nije rešavan, jer izlazi izvan okvira ovog rada. Dobijeni rezultati su primenjeni za rešavanje sličnog problema sinteze za intervalno-vrednosne intuicionističke rasplinute skupove  za mrežu intervala uređenu poretkom po komponentama.  Rezultati ovog istraživanja su od teorijskog značaja u teoriji mreža i teoriji rasplinutih skupova, ali postoji mogućnost za primenu u matematičkoj morfologiji i obradi slika.In this thesis  the following problem was investigated: Under which conditions an interval-valued fuzzy set can be reconstructed from the given family of cut sets. We consider interval-valued fuzzy sets as  a special type of lattice-valued fuzzy sets and  we studied properties of lattices of intervals using four different lattice  order: componentwise ordering, imprecision ordering (inclusion of sets), strong and lexicographical ordering. We proposed new definitions  of meet-between planar and join - between planar lattices, we investigated their properties and used them for solving problem of synthesis  in  interval-valued fuzzy sets. It has been proven that finite meet- between planar lattices and slim lattices are equivalent, and dually:    finite join-  between planar lattices and dually slim lattices are equivalent. Complete finitely  spatial lattices and complete dually finitely spatial lattices are fully characterized  in this setting. Next, we characterized  lattices which can be order embedded into a Cartesian product of  n  complete chains such that all suprema are preserved under the embedding. And dually, we characterized lattices which can be order embedded into a Cartesian product of n complete chains such that all infima are preserved under the embedding. We considered two types of cut sets – upper cuts and lower cuts. Solution of the  problem of synthesis of interval-valued fuzzy sets are given for lattices of intervals under componentwise ordering for both types of cut sets. Solution of problem of synthesis of  interval-valued fuzzy sets  are  given for lower cuts for lattices of intervals under imprecision ordering.  Sufficient conditions are given for lattices of intervals under imprecision ordering and family of upper cuts. Sufficient conditions are also given for lattices of intervals under lexicographical ordering. The problem of synthesis of interval-valued fuzzy sets for lattices of  intervals under strong ordering is beyond the scope of this thesis. A similar problem of synthesis of  interval-valued intuitionistic fuzzy sets is solved for lattices of intervals under componentwise ordering. These results are  mostly of theoretical importance in lattice theory and fuzzy sets theory, but also they could  be applied in mathematical morphology and in  image processing

Direct decompositions of non-algebraic complete lattices

For a given complete lattice L, we investigate whether L can be decomposed as a direct product of directly indecomposable lattices. We prove that this is the case if every element of L is a join of join-irreducible elements and dually, thus extending to non-algebraic lattices a result of L. Libkin. We illustrate this by various examples and counterexamples