{"id":"https://openalex.org/W2887806375","doi":"https://doi.org/10.1007/s11083-018-9466-3","title":"On the Coextension of Cut-Continuous Pomonoids","display_name":"On the Coextension of Cut-Continuous Pomonoids","publication_year":2018,"publication_date":"2018-08-02","ids":{"openalex":"https://openalex.org/W2887806375","doi":"https://doi.org/10.1007/s11083-018-9466-3","mag":"2887806375"},"language":"en","primary_location":{"id":"doi:10.1007/s11083-018-9466-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11083-018-9466-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11083-018-9466-3.pdf","source":{"id":"https://openalex.org/S121371512","display_name":"Order","issn_l":"0167-8094","issn":["0167-8094","1572-9273"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Order","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11083-018-9466-3.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054848649","display_name":"David Kruml","orcid":null},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"David Kruml","raw_affiliation_strings":["Department of Mathematics and Statistics, Masaryk University, Kotl\u00e1\u0159sk\u00e1 2, 611 37, Brno, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics, Masaryk University, Kotl\u00e1\u0159sk\u00e1 2, 611 37, Brno, Czech Republic","institution_ids":["https://openalex.org/I21449261"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031218124","display_name":"Jan Paseka","orcid":"https://orcid.org/0000-0001-6658-6647"},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Jan Paseka","raw_affiliation_strings":["Department of Mathematics and Statistics, Masaryk University, Kotl\u00e1\u0159sk\u00e1 2, 611 37, Brno, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics, Masaryk University, Kotl\u00e1\u0159sk\u00e1 2, 611 37, Brno, Czech Republic","institution_ids":["https://openalex.org/I21449261"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076628921","display_name":"Thomas Vetterlein","orcid":"https://orcid.org/0000-0003-0571-9551"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Thomas Vetterlein","raw_affiliation_strings":["Department of Knowledge-Based Mathematical Systems, Johannes Kepler University Linz, Altenberger Stra\u00dfe 69, 4040, Linz, Austria"],"affiliations":[{"raw_affiliation_string":"Department of Knowledge-Based Mathematical Systems, Johannes Kepler University Linz, Altenberger Stra\u00dfe 69, 4040, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5054848649"],"corresponding_institution_ids":["https://openalex.org/I21449261"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.4275,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.65793413,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"36","issue":"2","first_page":"271","last_page":"290"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998999834060669,"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":0.9998999834060669,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9987999796867371,"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.9973999857902527,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8715239763259888},{"id":"https://openalex.org/keywords/morphism","display_name":"Morphism","score":0.5866893529891968},{"id":"https://openalex.org/keywords/tensor-product","display_name":"Tensor product","score":0.584533154964447},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.5398823618888855},{"id":"https://openalex.org/keywords/residuated-lattice","display_name":"Residuated lattice","score":0.5362939238548279},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4882986545562744},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.4598468542098999},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4499467611312866},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.44184306263923645},{"id":"https://openalex.org/keywords/distributive-property","display_name":"Distributive property","score":0.4311532974243164},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.3218603730201721},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.08841443061828613}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8715239763259888},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.5866893529891968},{"id":"https://openalex.org/C51255310","wikidata":"https://www.wikidata.org/wiki/Q1163016","display_name":"Tensor product","level":2,"score":0.584533154964447},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5398823618888855},{"id":"https://openalex.org/C2781278839","wikidata":"https://www.wikidata.org/wiki/Q9462417","display_name":"Residuated lattice","level":3,"score":0.5362939238548279},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4882986545562744},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.4598468542098999},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4499467611312866},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.44184306263923645},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.4311532974243164},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.3218603730201721},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.08841443061828613},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s11083-018-9466-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11083-018-9466-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11083-018-9466-3.pdf","source":{"id":"https://openalex.org/S121371512","display_name":"Order","issn_l":"0167-8094","issn":["0167-8094","1572-9273"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Order","raw_type":"journal-article"},{"id":"pmh:oai:epub.jku.at/:8606771","is_oa":true,"landing_page_url":"https://resolver.obvsg.at/urn:nbn:at:at-ubl:3-17939","pdf_url":null,"source":{"id":"https://openalex.org/S4306401788","display_name":"University Library Linz repository (Johannes Kepler Universitat Linz)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I121883995","host_organization_name":"Johannes Kepler University of Linz","host_organization_lineage":["https://openalex.org/I121883995"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1007/s11083-018-9466-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11083-018-9466-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11083-018-9466-3.pdf","source":{"id":"https://openalex.org/S121371512","display_name":"Order","issn_l":"0167-8094","issn":["0167-8094","1572-9273"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Order","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3630076161","display_name":null,"funder_award_id":"15-34697L","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G3878137473","display_name":null,"funder_award_id":"I 1923-N25","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G56842831","display_name":null,"funder_award_id":"1923-N25","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8222113702","display_name":"Dualities in Modern String Theory and Applications","funder_award_id":"I 192","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2887806375.pdf","grobid_xml":"https://content.openalex.org/works/W2887806375.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W21190073","https://openalex.org/W1503075583","https://openalex.org/W1527487696","https://openalex.org/W1583598822","https://openalex.org/W1585649433","https://openalex.org/W1981588025","https://openalex.org/W2011659388","https://openalex.org/W2020547195","https://openalex.org/W2047865342","https://openalex.org/W2074665874","https://openalex.org/W2084052390","https://openalex.org/W2120967426","https://openalex.org/W2146205527","https://openalex.org/W2150827087","https://openalex.org/W2323827946","https://openalex.org/W2562225483","https://openalex.org/W2735334039","https://openalex.org/W3216142546","https://openalex.org/W4240228303","https://openalex.org/W4254329629"],"related_works":["https://openalex.org/W61471619","https://openalex.org/W2111877946","https://openalex.org/W2794993067","https://openalex.org/W2186053625","https://openalex.org/W2354746316","https://openalex.org/W2536635683","https://openalex.org/W2188813136","https://openalex.org/W2324350136","https://openalex.org/W1553109749","https://openalex.org/W2403403673"],"abstract_inverted_index":{"We":[0,98],"introduce":[1],"cut-continuous":[2,24,58,107,121,158],"pomonoids,":[3],"which":[4],"generalise":[5],"residuated":[6,18,71,96,184],"posets.":[7],"The":[8],"latter\u2019s":[9],"defining":[10],"condition":[11,46],"is":[12,17,32,127,140,180],"that":[13,28,50,125,173],"the":[14,29,39,45,74,83,90,102,114,120,133,181],"monoidal":[15,30],"product":[16,31],"in":[19,33,64,82,89,101,149,190],"each":[20,34],"argument;":[21],"we":[22,112,117,147,171],"define":[23],"pomonoids":[25,59,108,122],"by":[26,87,138],"requiring":[27],"argument":[35],"just":[36],"cut-continuous.":[37],"In":[38,144],"case":[40,85],"of":[41,47,76,104,130,135,155,162,183],"a":[42,128],"total":[43],"order,":[44],"cut-continuity":[48],"means":[49],"multiplication":[51],"distributes":[52],"over":[53,157],"existing":[54],"suprema.":[55],"Morphisms":[56],"between":[57],"can":[60,118],"be":[61],"chosen":[62],"either":[63],"analogy":[65],"with":[66,70,152],"unital":[67],"quantales":[68],"or":[69],"lattices.":[72,97],"Under":[73],"assumption":[75],"commutativity":[77],"and":[78,110,132,165],"integrality,":[79],"congruences":[80],"are":[81,99,148],"latter":[84],"induced":[86,137],"filters,":[88],"same":[91],"way":[92],"as":[93],"known":[94],"for":[95],"interested":[100],"construction":[103,182],"coextensions:":[105],"given":[106],"K":[109],"C,":[111],"raise":[113],"question":[115],"how":[116],"determine":[119],"L":[123,131,136],"such":[124,174],"C":[126,139],"filter":[129],"quotient":[134],"isomorphic":[141],"to":[142,187],"K.":[143],"this":[145],"context,":[146],"particular":[150,191],"concerned":[151],"tensor":[153,175],"products":[154,176],"modules":[156],"pomonoids.":[159],"Using":[160],"results":[161],"M.":[163],"Ern\u00e9":[164],"J.":[166],"Picado":[167],"on":[168],"closure":[169],"spaces,":[170],"show":[172],"exist.":[177],"An":[178],"application":[179],"structures":[185],"related":[186],"fuzzy":[188],"logics,":[189],"left-continuous":[192],"t-norms.":[193]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2018-08-22T00:00:00"}
