DC FieldValueLanguage
dc.contributor.authorŠešelja, Branimiren_US
dc.contributor.authorTepavčević, Andrejaen_US
dc.date.accessioned2022-04-26T10:10:03Z-
dc.date.available2022-04-26T10:10:03Z-
dc.date.issued2022-01-01-
dc.identifier.isbn9783030888169-
dc.identifier.issn1860-949X-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/4778-
dc.description.abstractFor a complete lattice L and an L-valued function μ on a domain X, the cuts of μ determine a residuated map f from L to the power set of X ordered dually to inclusion. We describe a class of complete lattices for which the kernel of f is a complete congruence on L. Conversely, every complete congruence on a complete lattice L is uniquely determined by a suitable L-valued function μ on an arbitrary domain, as the kernel of a residuated map which sends every element p∈ L into the corresponding cut μp. As an application, using residuated maps we get a representation of finite lattices by meet-irreducible elements.en_US
dc.publisherSpringer Linken_US
dc.relationDevelopment of methods of computation and information processing: theory and applicationsen_US
dc.relation.ispartofComputational Intelligence and Mathematics for Tackling Complex Problems 2en_US
dc.relation.ispartofseriesStudies in Computational Intelligence-
dc.subjectClosure operators | Cuts | L-valued functions | Residuated mapsen_US
dc.titleCongruences on Lattices and Lattice-Valued Functionsen_US
dc.typeConference Paperen_US
dc.relation.conference11th European Symposium on Computational Intelligence and Mathematics, ESCIM 2019en_US
dc.identifier.doi10.1007/978-3-030-88817-6_25-
dc.identifier.scopus2-s2.0-85123990930-
dc.contributor.affiliationComputer Scienceen_US
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.grantno174013en_US
dc.relation.firstpage219-
dc.relation.lastpage228-
dc.relation.volume955-
dc.description.rankM33-
item.fulltextNo Fulltext-
item.openairetypeConference Paper-
item.grantfulltextnone-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
crisitem.author.orcid0000-0002-5716-604X-
crisitem.project.funderMESTD-
crisitem.project.fundingProgramBasic Research (BR or ON)-
crisitem.project.openAireinfo:eu-repo/grantAgreement/MESTD/Basic Research (BR or ON)/174013-
Show simple item record

Page view(s)

22
checked on Jan 31, 2025

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.