{"id":"https://openalex.org/W7220912724","doi":"https://doi.org/10.48550/arxiv.2610.08191","title":"Representation theorems for four classes of uninorms on bounded trellises","display_name":"Representation theorems for four classes of uninorms on bounded trellises","publication_year":2026,"publication_date":"2026-10-06","ids":{"openalex":"https://openalex.org/W7220912724","doi":"https://doi.org/10.48550/arxiv.2610.08191"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.08191","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.08191","pdf_url":"https://arxiv.org/pdf/2610.08191","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2610.08191","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032161726","display_name":"Zhen-Yu Xiu","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Xiu, Zhenyu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5032161726"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11671","display_name":"Fuzzy and Soft Set Theory","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/uninorms","display_name":"uninorms","score":0.9980000257492065},{"id":"https://openalex.org/keywords/representation-theorem","display_name":"representation theorem","score":0.9670000076293945},{"id":"https://openalex.org/keywords/neutral-element","display_name":"neutral element","score":0.5820000171661377},{"id":"https://openalex.org/keywords/interior-operator","display_name":"interior operator","score":0.5920000076293945},{"id":"https://openalex.org/keywords/closure-operators","display_name":"closure operators","score":0.9990000128746033},{"id":"https://openalex.org/keywords/partial-operations","display_name":"partial operations","score":0.5619999766349792},{"id":"https://openalex.org/keywords/bounded-lattices","display_name":"bounded lattices","score":0.8190000057220459}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8831999897956848},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.7360000014305115},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.6110000014305115},{"id":"https://openalex.org/C159423971","wikidata":"https://www.wikidata.org/wiki/Q177251","display_name":"Associative property","level":2,"score":0.5619999766349792},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.47609999775886536},{"id":"https://openalex.org/C2776230367","wikidata":"https://www.wikidata.org/wiki/Q7314222","display_name":"Representation theorem","level":2,"score":0.4625999927520752},{"id":"https://openalex.org/C2778648169","wikidata":"https://www.wikidata.org/wiki/Q967768","display_name":"Compatibility (geochemistry)","level":2,"score":0.45660001039505005},{"id":"https://openalex.org/C200288055","wikidata":"https://www.wikidata.org/wiki/Q2621792","display_name":"Element (criminal law)","level":2,"score":0.4408000111579895},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4165000021457672},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.39879998564720154},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.3619999885559082},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.3208000063896179},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.30869999527931213},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.28679999709129333},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.2854999899864197},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.2806999981403351},{"id":"https://openalex.org/C21696900","wikidata":"https://www.wikidata.org/wiki/Q1333055","display_name":"Semiring","level":2,"score":0.27300000190734863},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.26269999146461487},{"id":"https://openalex.org/C2779182943","wikidata":"https://www.wikidata.org/wiki/Q25345219","display_name":"Decomposition theorem","level":2,"score":0.2515000104904175}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.08191","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.08191","pdf_url":"https://arxiv.org/pdf/2610.08191","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2610.08191","doi":"https://doi.org/10.48550/arxiv.2610.08191","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.08191","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2610.08191","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.08191","pdf_url":"https://arxiv.org/pdf/2610.08191","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G5167407451","display_name":null,"funder_award_id":"12271036","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7220912724.pdf","grobid_xml":"https://content.openalex.org/works/W7220912724.grobid-xml"},"referenced_works_count":1,"referenced_works":["https://openalex.org/W4402977027"],"related_works":["https://openalex.org/W7163819625","https://openalex.org/W7119498335","https://openalex.org/W4416373670","https://openalex.org/W3095318284","https://openalex.org/W4391617262","https://openalex.org/W3012594808","https://openalex.org/W7154521755","https://openalex.org/W2737142767","https://openalex.org/W7202156468","https://openalex.org/W3153101260"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3,39,105,157],"establish":[4],"necessary":[5,152],"and":[6,16,80,84,99,146,153,175],"sufficient":[7,154],"representation":[8],"theorems":[9],"for":[10],"the":[11,24,45,96,107,134,159,165,183],"classes":[12],"$\\widetilde{\\mathcal{U}}_{\\mathrm{top}}$,":[13],"$\\widetilde{\\mathcal{U}}_{\\mathrm{bot}}$,":[14],"$\\widetilde{\\mathcal{U}}_{\\mathrm{max}}^{r}$,":[15],"$\\widetilde{\\mathcal{U}}_{\\mathrm{min}}^{r}$":[17],"of":[18,44,53],"uninorms":[19],"on":[20,179],"bounded":[21],"trellises,":[22],"extending":[23],"corresponding":[25,166],"bounded-lattice":[26,171],"results.":[27],"For":[28,101],"a":[29,41,54,74,77,129,140],"non-extremal":[30],"neutral":[31,51],"element":[32,52],"$e$":[33,127],"belonging":[34],"to":[35,58,164],"no":[36],"non-trivial":[37],"cycle,":[38],"use":[40],"common":[42],"decomposition":[43],"elements":[46],"incomparable":[47],"with":[48,87],"$e$;":[49],"every":[50],"uninorm":[55,62],"is":[56,67],"shown":[57],"be":[59],"middle-transitive.":[60],"Each":[61],"in":[63,109,115],"$\\widetilde{\\mathcal{U}}_{\\mathrm{top}}$":[64],"(respectively,":[65,73,103,118],"$\\widetilde{\\mathcal{U}}_{\\mathrm{bot}}$)":[66],"represented":[68],"by":[69,139],"an":[70,81],"interior":[71],"operator":[72],"closure":[75],"operator),":[76],"component":[78],"uninorm,":[79],"increasing,":[82],"associative,":[83],"commutative":[85],"operation,":[86],"all":[88],"components":[89],"uniquely":[90],"determined.":[91],"Two":[92],"further":[93],"conditions":[94,149],"characterize":[95],"subclasses":[97],"$\\widetilde{\\mathcal{U}}_{\\mathrm{top}}^{\\star}$":[98],"$\\widetilde{\\mathcal{U}}_{\\mathrm{bot}}^{\\star}$.":[100],"$\\widetilde{\\mathcal{U}}_{\\mathrm{max}}^{r}$":[102],"$\\widetilde{\\mathcal{U}}_{\\mathrm{min}}^{r}$),":[104],"identify":[106],"pairs":[108,125],"$I_e^3\\times":[110],"I_e^3$":[111],"whose":[112],"values":[113,136],"lie":[114],"$[0,e[\\cup":[116],"I_e^1$":[117],"$]e,1]\\cup":[119],"I_e^2$)":[120],"or":[121],"equal":[122],"$e$.":[123],"The":[124],"producing":[126],"satisfy":[128],"symmetric":[130],"unique-partner":[131],"condition,":[132],"while":[133],"remaining":[135],"are":[137],"encoded":[138],"partial":[141],"operation.":[142],"Regional":[143],"order":[144],"compatibility":[145,185],"explicit":[147],"associativity":[148],"then":[150],"yield":[151],"representations.":[155],"Finally,":[156],"compare":[158],"four":[160],"classes,":[161,168],"relate":[162],"them":[163],"bounded-psoset":[167],"prove":[169],"their":[170],"specialization":[172],"under":[173],"transitivity,":[174],"provide":[176],"finite":[177],"examples":[178],"proper":[180],"trellises":[181],"illustrating":[182],"additional":[184],"conditions.":[186]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-09T00:00:00"}