{"id":"https://openalex.org/W2079878586","doi":"https://doi.org/10.1093/logcom/exp059","title":"On the Structure of Finite Integral Commutative Residuated Chains","display_name":"On the Structure of Finite Integral Commutative Residuated Chains","publication_year":2009,"publication_date":"2009-09-17","ids":{"openalex":"https://openalex.org/W2079878586","doi":"https://doi.org/10.1093/logcom/exp059","mag":"2079878586"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exp059","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exp059","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/11104/0200571","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"R. Horcik","orcid":null},"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"]},{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"R. Horcik","raw_affiliation_strings":["Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod Vod\u00e1renskou v\u011b\u017e\u00ed 2, 182 07 Prague 8, Czech Republic; Department of Mathematics, Faculty of Electrical Engineering, Czech Technical University in Prague, Technick\u00e1 2, 166 27 Prague 6, Czech Republic.E-mail:","Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod Vod\u00e1renskou v\u011b\u017e\u00ed 2, 182 07 Prague 8, Czech Republic","Department of Mathematics, Faculty of Electrical Engineering, Czech Technical University in Prague, Technick\u00e1 2, 166 27 Prague 6, Czech Republic.E-mail:"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod Vod\u00e1renskou v\u011b\u017e\u00ed 2, 182 07 Prague 8, Czech Republic; Department of Mathematics, Faculty of Electrical Engineering, Czech Technical University in Prague, Technick\u00e1 2, 166 27 Prague 6, Czech Republic.E-mail:","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod Vod\u00e1renskou v\u011b\u017e\u00ed 2, 182 07 Prague 8, Czech Republic","institution_ids":["https://openalex.org/I4210155092"]},{"raw_affiliation_string":"Department of Mathematics, Faculty of Electrical Engineering, Czech Technical University in Prague, Technick\u00e1 2, 166 27 Prague 6, Czech Republic.E-mail:","institution_ids":["https://openalex.org/I44504214"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210155092","https://openalex.org/I44504214"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.13585565,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"21","issue":"5","first_page":"717","last_page":"728"},"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/T11703","display_name":"Rings, Modules, and Algebras","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9983999729156494,"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/czech","display_name":"Czech","score":0.9785561561584473},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.6116325259208679},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.4075447916984558},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4066937565803528},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.35543596744537354},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.35496658086776733},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.34227222204208374},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.17212289571762085},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.12699192762374878}],"concepts":[{"id":"https://openalex.org/C2777842544","wikidata":"https://www.wikidata.org/wiki/Q9056","display_name":"Czech","level":2,"score":0.9785561561584473},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.6116325259208679},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.4075447916984558},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4066937565803528},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.35543596744537354},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.35496658086776733},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.34227222204208374},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.17212289571762085},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.12699192762374878}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/logcom/exp059","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exp059","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:oai:asep.lib.cas.cz:CavUnEpca/0365295","is_oa":true,"landing_page_url":"http://hdl.handle.net/11104/0200571","pdf_url":null,"source":{"id":"https://openalex.org/S7407055266","display_name":"ASEP","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:asep.lib.cas.cz:CavUnEpca/0365295","is_oa":true,"landing_page_url":"http://hdl.handle.net/11104/0200571","pdf_url":null,"source":{"id":"https://openalex.org/S7407055266","display_name":"ASEP","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W629265671","https://openalex.org/W1503075583","https://openalex.org/W1573036064","https://openalex.org/W1904594948","https://openalex.org/W1964335446","https://openalex.org/W1965682580","https://openalex.org/W1968060570","https://openalex.org/W1979275301","https://openalex.org/W1982052562","https://openalex.org/W1989030813","https://openalex.org/W1989354045","https://openalex.org/W2003364215","https://openalex.org/W2020759317","https://openalex.org/W2028929370","https://openalex.org/W2041632596","https://openalex.org/W2098994964","https://openalex.org/W2146205527","https://openalex.org/W2153202364"],"related_works":["https://openalex.org/W2782410293","https://openalex.org/W305958151","https://openalex.org/W2724504120","https://openalex.org/W4360856886","https://openalex.org/W2614400517","https://openalex.org/W4378675964","https://openalex.org/W578757760","https://openalex.org/W2760951638","https://openalex.org/W2547738291","https://openalex.org/W3203061336"],"abstract_inverted_index":{"Among":[0],"the":[1,34,43,53,64],"class":[2,54],"of":[3,22,26,45,55],"finite":[4,46],"integral":[5],"commutative":[6],"residuated":[7],"chains":[8],"(ICRCs),":[9],"we":[10,41,50],"identify":[11],"those":[12],"algebras":[13],"which":[14],"can":[15],"be":[16],"obtained":[17],"as":[18],"a":[19,23,27,59],"nuclear":[20],"retraction":[21],"conuclear":[24],"contraction":[25],"totally":[28],"ordered":[29],"Abelian":[30],"\u2113-group.":[31],"We":[32],"call":[33],"ICRCs":[35],"satisfying":[36],"this":[37],"condition":[38],"regular.":[39],"Then":[40],"discuss":[42],"structure":[44],"regular":[47,56],"ICRCs.":[48,68],"Finally,":[49],"prove":[51],"that":[52],"members":[57],"generate":[58],"strictly":[60],"smaller":[61],"variety":[62,65],"than":[63],"generated":[66],"by":[67]},"counts_by_year":[{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-03-25T23:56:10.502304","created_date":"2025-10-10T00:00:00"}