{"id":"https://openalex.org/W2073672508","doi":"https://doi.org/10.1002/malq.200710091","title":"Archimedean classes in integral commutative residuated chains","display_name":"Archimedean classes in integral commutative residuated chains","publication_year":2009,"publication_date":"2009-05-15","ids":{"openalex":"https://openalex.org/W2073672508","doi":"https://doi.org/10.1002/malq.200710091","mag":"2073672508"},"language":"en","primary_location":{"id":"doi:10.1002/malq.200710091","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.200710091","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073348949","display_name":"Rostislav Hor\u010d\u0131\u0301k","orcid":"https://orcid.org/0000-0001-7967-7126"},"institutions":[{"id":"https://openalex.org/I4210155092","display_name":"Czech Academy of Sciences, Institute of Computer Science","ror":"https://ror.org/0496n6574","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210155092"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Rostislav Hor\u010d\u00edk","raw_affiliation_strings":["Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod Voda\u0301renskou ve\u030cz\u030ci\u0301 2, 182 07 Prague 8, Czech Republic","Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod vod\u00e1renskou v\u011b\u017ei 2, 182 07 Prague 8, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod Voda\u0301renskou ve\u030cz\u030ci\u0301 2, 182 07 Prague 8, Czech Republic","institution_ids":["https://openalex.org/I4210155092"]},{"raw_affiliation_string":"Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod vod\u00e1renskou v\u011b\u017ei 2, 182 07 Prague 8, Czech Republic","institution_ids":["https://openalex.org/I4210155092"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109033991","display_name":"Franco Montagna","orcid":null},"institutions":[{"id":"https://openalex.org/I102064193","display_name":"University of Siena","ror":"https://ror.org/01tevnk56","country_code":"IT","type":"education","lineage":["https://openalex.org/I102064193"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Franco Montagna","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100 Siena, Italy","Dept. of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100 Siena, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100 Siena, Italy","institution_ids":["https://openalex.org/I102064193"]},{"raw_affiliation_string":"Dept. of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100 Siena, Italy","institution_ids":["https://openalex.org/I102064193"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":0.3545,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.62634873,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"55","issue":"3","first_page":"320","last_page":"336"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998000264167786,"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.9998000264167786,"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.9883999824523926,"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.9835000038146973,"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/variety","display_name":"Variety (cybernetics)","score":0.8841667175292969},{"id":"https://openalex.org/keywords/identity","display_name":"Identity (music)","score":0.7954899072647095},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.7831330299377441},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7337884306907654},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.6685606241226196},{"id":"https://openalex.org/keywords/residuated-lattice","display_name":"Residuated lattice","score":0.5492435097694397},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.10708305239677429},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06911727786064148},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.057038068771362305}],"concepts":[{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.8841667175292969},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.7954899072647095},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.7831330299377441},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7337884306907654},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.6685606241226196},{"id":"https://openalex.org/C2781278839","wikidata":"https://www.wikidata.org/wiki/Q9462417","display_name":"Residuated lattice","level":3,"score":0.5492435097694397},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.10708305239677429},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06911727786064148},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.057038068771362305},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1002/malq.200710091","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.200710091","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},{"id":"pmh:oai:usiena-air.unisi.it:11365/7169","is_oa":false,"landing_page_url":"http://hdl.handle.net/11365/7169","pdf_url":null,"source":{"id":"https://openalex.org/S4377196319","display_name":"Use Siena air (University of Siena)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I102064193","host_organization_name":"University of Siena","host_organization_lineage":["https://openalex.org/I102064193"],"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":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1503075583","https://openalex.org/W1514758454","https://openalex.org/W1573036064","https://openalex.org/W1904594948","https://openalex.org/W1965097424","https://openalex.org/W1982052562","https://openalex.org/W1983382657","https://openalex.org/W1989030813","https://openalex.org/W1989354045","https://openalex.org/W2003364215","https://openalex.org/W2010858955","https://openalex.org/W2013999314","https://openalex.org/W2019804655","https://openalex.org/W2023648368","https://openalex.org/W2028929370","https://openalex.org/W2052913890","https://openalex.org/W2057500258","https://openalex.org/W2057821078","https://openalex.org/W2063594596","https://openalex.org/W2065267682","https://openalex.org/W2092184248","https://openalex.org/W2098994964","https://openalex.org/W2133041555","https://openalex.org/W4252113473","https://openalex.org/W4293176479"],"related_works":["https://openalex.org/W61471619","https://openalex.org/W2111877946","https://openalex.org/W2186053625","https://openalex.org/W2354746316","https://openalex.org/W2324350136","https://openalex.org/W2536635683","https://openalex.org/W4388787498","https://openalex.org/W1653282108","https://openalex.org/W2403403673","https://openalex.org/W2026466059"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2],"investigates":[3],"a":[4,42,91],"quasi\u2010variety":[5,87],"of":[6,106,120,133],"representable":[7],"integral":[8,108],"commutative":[9,109],"residuated":[10,110],"lattices":[11],"axiomatized":[12],"by":[13,137],"the":[14,18,75,79,85,104,131],"quasi\u2010identity":[15,70],"resulting":[16,86],"from":[17],"well\u2010known":[19],"Wajsberg":[20],"identity":[21],"(":[22,30,46,56],"p":[23,33,36,47,59,62],"\u2192":[24,27,32,35,48,51,58,61],"q":[25,28,31,49,52,57],")":[26,34,50,60],"\u2264":[29],"if":[37],"it":[38],"is":[39,71,88,135],"written":[40],"as":[41],"quasi\u2010identity,":[43],"i.":[44],"e.,":[45],"\u2248":[53,63],"1":[54,64],"\u21d2":[55],".":[65],"We":[66],"prove":[67],"that":[68,84],"this":[69],"strictly":[72],"weaker":[73],"than":[74],"corresponding":[76],"identity.":[77],"On":[78],"other":[80],"hand,":[81],"we":[82,124],"show":[83],"in":[89],"fact":[90],"variety":[92,132],"and":[93],"provide":[94],"an":[95],"axiomatization.":[96],"The":[97],"obtained":[98],"results":[99],"shed":[100],"some":[101],"light":[102],"on":[103],"structure":[105],"Archimedean":[107,139],"chains.":[111],"Further,":[112],"they":[113],"can":[114],"be":[115],"applied":[116],"to":[117],"various":[118],"subvarieties":[119],"MTL\u2010algebras,":[121],"for":[122],"instance":[123],"answer":[125],"negatively":[126],"H\u00e1jek's":[127],"question":[128],"asking":[129],"whether":[130],"\u03a0MTL\u2010algebras":[134],"generated":[136],"its":[138],"members":[140],"(\u00a9":[141],"2009":[142],"WILEY\u2010VCH":[143],"Verlag":[144],"GmbH":[145],"&":[146],"Co.":[147],"KGaA,":[148],"Weinheim)":[149]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2016-06-24T00:00:00"}