{"id":"https://openalex.org/W2557191709","doi":"https://doi.org/10.1109/fuzz-ieee.2016.7737688","title":"Recursive formulas to compute coproducts of finite G\u00f6del algebras and related structures","display_name":"Recursive formulas to compute coproducts of finite G\u00f6del algebras and related structures","publication_year":2016,"publication_date":"2016-07-01","ids":{"openalex":"https://openalex.org/W2557191709","doi":"https://doi.org/10.1109/fuzz-ieee.2016.7737688","mag":"2557191709"},"language":"en","primary_location":{"id":"doi:10.1109/fuzz-ieee.2016.7737688","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fuzz-ieee.2016.7737688","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","raw_type":"proceedings-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/A5101825075","display_name":"Stefano Aguzzoli","orcid":"https://orcid.org/0000-0002-7588-5048"},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Stefano Aguzzoli","raw_affiliation_strings":["Dept. of Computer Science, Universit\u00e0 degli Studi di Milano, Milano, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, Universit\u00e0 degli Studi di Milano, Milano, Italy","institution_ids":["https://openalex.org/I189158943"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044747677","display_name":"Pietro Codara","orcid":"https://orcid.org/0000-0002-0525-4718"},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Pietro Codara","raw_affiliation_strings":["Dept. of Computer Science, Universit\u00e0 degli Studi di Milano, Milano, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, Universit\u00e0 degli Studi di Milano, Milano, Italy","institution_ids":["https://openalex.org/I189158943"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5101825075"],"corresponding_institution_ids":["https://openalex.org/I189158943"],"apc_list":null,"apc_paid":null,"fwci":1.3939,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.84142285,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"201","last_page":"208"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9997000098228455,"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.9997000098228455,"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.9922000169754028,"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.9682999849319458,"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/coproduct","display_name":"Coproduct","score":0.7591898441314697},{"id":"https://openalex.org/keywords/homomorphism","display_name":"Homomorphism","score":0.6119231581687927},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5527773499488831},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5252040028572083},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.48304277658462524},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4367581009864807},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.4350031316280365},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.41413021087646484},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3994215428829193},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3447803258895874},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.28970223665237427},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07137817144393921}],"concepts":[{"id":"https://openalex.org/C36259021","wikidata":"https://www.wikidata.org/wiki/Q692689","display_name":"Coproduct","level":2,"score":0.7591898441314697},{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.6119231581687927},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5527773499488831},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5252040028572083},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.48304277658462524},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4367581009864807},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.4350031316280365},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.41413021087646484},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3994215428829193},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3447803258895874},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.28970223665237427},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07137817144393921},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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":1,"locations":[{"id":"doi:10.1109/fuzz-ieee.2016.7737688","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fuzz-ieee.2016.7737688","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/15","display_name":"Life in Land","score":0.699999988079071}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W312536321","https://openalex.org/W1503075583","https://openalex.org/W1511669762","https://openalex.org/W1529778283","https://openalex.org/W1970249071","https://openalex.org/W1983382657","https://openalex.org/W2022150134","https://openalex.org/W2026315522","https://openalex.org/W2036826699","https://openalex.org/W2073361881","https://openalex.org/W2079799116","https://openalex.org/W2110182592","https://openalex.org/W2142413595","https://openalex.org/W2153765600","https://openalex.org/W2161232007","https://openalex.org/W2164360492","https://openalex.org/W2626695879"],"related_works":["https://openalex.org/W2604772831","https://openalex.org/W2790235629","https://openalex.org/W2368493325","https://openalex.org/W2391993532","https://openalex.org/W128971317","https://openalex.org/W2351897223","https://openalex.org/W3021150209","https://openalex.org/W2891932364","https://openalex.org/W1991299294","https://openalex.org/W2085349549"],"abstract_inverted_index":{"G\u00f6del":[0,10,24,97,127,132],"logic":[1],"and":[2,26,39,60,102,111,119,129],"its":[3],"algebraic":[4],"semantics,":[5],"namely,":[6],"the":[7,33,51,64,86,123],"variety":[8],"of":[9,22,36,46,55,58,67,70,105,108,125,130],"algebras,":[11],"play":[12],"a":[13,78,92,103],"major":[14],"r\u00f4le":[15],"in":[16,122],"mathematical":[17],"fuzzy":[18],"logic.":[19],"The":[20,43],"category":[21,34,104],"finite":[23,37,71,96,106,109,126,131],"algebras":[25,59],"their":[27,61,120],"homomorphisms":[28],"is":[29],"dually":[30],"equivalent":[31],"to":[32,49,63,84,116],"FF":[35,47],"forests":[38],"order-preserving":[40],"open":[41],"maps.":[42],"combinatorial":[44,65],"nature":[45],"allows":[48],"reduce":[50],"usually":[52],"difficult":[53],"problem":[54,66],"computing":[56,68],"coproducts":[57],"cardinalities":[62],"products":[69],"forests.":[72],"In":[73],"this":[74],"paper":[75],"we":[76,90,112],"propose":[77],"neat,":[79],"purely":[80],"combinatorial,":[81],"recursive":[82,114],"formula":[83],"compute":[85,117],"product":[87],"objects.":[88],"Further,":[89],"formulate":[91],"dual":[93],"equivalence":[94],"between":[95],"<sub":[98,133],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[99,134],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">\u0394</sub>":[100,135],"-algebras":[101],"multisets":[107],"chains,":[110],"provide":[113],"formulas":[115],"coproducts,":[118],"cardinalities,":[121],"categories":[124],"hoops":[128],"-algebras.":[136]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}