{"id":"https://openalex.org/W3209875724","doi":"https://doi.org/10.1093/logcom/exab064","title":"On the expressive power of \u0141ukasiewicz square operator","display_name":"On the expressive power of \u0141ukasiewicz square operator","publication_year":2021,"publication_date":"2021-09-16","ids":{"openalex":"https://openalex.org/W3209875724","doi":"https://doi.org/10.1093/logcom/exab064","mag":"3209875724"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exab064","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exab064","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":"hybrid","oa_url":"https://doi.org/10.1093/logcom/exab064","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037312962","display_name":"Marcelo E. Coniglio","orcid":"https://orcid.org/0000-0002-1807-0520"},"institutions":[{"id":"https://openalex.org/I181391015","display_name":"Universidade Estadual de Campinas (UNICAMP)","ror":"https://ror.org/04wffgt70","country_code":"BR","type":"education","lineage":["https://openalex.org/I181391015"]},{"id":"https://openalex.org/I4210131846","display_name":"Artificial Intelligence Research Institute","ror":"https://ror.org/03c0ach84","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]}],"countries":["BR","ES"],"is_corresponding":false,"raw_author_name":"Marcelo E Coniglio","raw_affiliation_strings":["Centre for Logic , Epistemology and the History of Science - (CLE) and Institute of Philosophy and the Humanities - (IFHC), University of Campinas, 13083-859, Brazil","Artificial Intelligence Research Institute (IIIA), CSIC, Barcelona, 08193, Spain","FRANCESC ESTEVA, Artificial Intelligence Research Institute (IIIA), CSIC, Barcelona, 08193, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre for Logic , Epistemology and the History of Science - (CLE) and Institute of Philosophy and the Humanities - (IFHC), University of Campinas, 13083-859, Brazil","institution_ids":["https://openalex.org/I181391015"]},{"raw_affiliation_string":"Artificial Intelligence Research Institute (IIIA), CSIC, Barcelona, 08193, Spain","institution_ids":["https://openalex.org/I4210131846"]},{"raw_affiliation_string":"FRANCESC ESTEVA, Artificial Intelligence Research Institute (IIIA), CSIC, Barcelona, 08193, Spain","institution_ids":["https://openalex.org/I4210131846"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086317940","display_name":"Francesc Esteva","orcid":"https://orcid.org/0000-0003-4466-3298"},"institutions":[{"id":"https://openalex.org/I4210131846","display_name":"Artificial Intelligence Research Institute","ror":"https://ror.org/03c0ach84","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Francesc Esteva","raw_affiliation_strings":["Artificial Intelligence Research Institute (IIIA) , CSIC, Barcelona, 08193, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Artificial Intelligence Research Institute (IIIA) , CSIC, Barcelona, 08193, Spain","institution_ids":["https://openalex.org/I4210131846"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091130725","display_name":"Tommaso Flaminio","orcid":"https://orcid.org/0000-0002-9180-7808"},"institutions":[{"id":"https://openalex.org/I4210088627","display_name":"Institute of Philosophy","ror":"https://ror.org/005gbx671","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210088627","https://openalex.org/I4210120228"]},{"id":"https://openalex.org/I4210131846","display_name":"Artificial Intelligence Research Institute","ror":"https://ror.org/03c0ach84","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]}],"countries":["ES","RU"],"is_corresponding":false,"raw_author_name":"Tommaso Flaminio","raw_affiliation_strings":["Artificial Intelligence Research Institute (IIIA) , CSIC, Barcelona, 08193, Spain","Artificial Intelligence Research Institute (IIIA), CSIC, Barcelona, 08193, Spain","Centre for Logic, Epistemology and the History of Science -(CLE) and Institute of Philosophy and the Humanities -(IFHC), University of Campinas, 13083-859, Brazil","FRANCESC ESTEVA, Artificial Intelligence Research Institute (IIIA), CSIC, Barcelona, 08193, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Artificial Intelligence Research Institute (IIIA) , CSIC, Barcelona, 08193, Spain","institution_ids":["https://openalex.org/I4210131846"]},{"raw_affiliation_string":"Artificial Intelligence Research Institute (IIIA), CSIC, Barcelona, 08193, Spain","institution_ids":["https://openalex.org/I4210131846"]},{"raw_affiliation_string":"Centre for Logic, Epistemology and the History of Science -(CLE) and Institute of Philosophy and the Humanities -(IFHC), University of Campinas, 13083-859, Brazil","institution_ids":["https://openalex.org/I4210088627"]},{"raw_affiliation_string":"FRANCESC ESTEVA, Artificial Intelligence Research Institute (IIIA), CSIC, Barcelona, 08193, Spain","institution_ids":["https://openalex.org/I4210131846"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072818908","display_name":"Llu\u0131\u0301s Godo","orcid":"https://orcid.org/0000-0002-6929-3126"},"institutions":[{"id":"https://openalex.org/I4210131846","display_name":"Artificial Intelligence Research Institute","ror":"https://ror.org/03c0ach84","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Llu\u00eds Godo","raw_affiliation_strings":["Artificial Intelligence Research Institute (IIIA) , CSIC, Barcelona, 08193, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Artificial Intelligence Research Institute (IIIA) , CSIC, Barcelona, 08193, Spain","institution_ids":["https://openalex.org/I4210131846"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":{"value":4151,"currency":"USD","value_usd":4151},"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.19601877,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"32","issue":"4","first_page":"767","last_page":"807"},"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.9973000288009644,"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.989799976348877,"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/\u0142ukasiewicz-logic","display_name":"\u0141ukasiewicz logic","score":0.7653015851974487},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.6664106845855713},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.647209644317627},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.6068413853645325},{"id":"https://openalex.org/keywords/square","display_name":"Square (algebra)","score":0.6049146056175232},{"id":"https://openalex.org/keywords/power-set","display_name":"Power set","score":0.4658091366291046},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.42861804366111755},{"id":"https://openalex.org/keywords/cardinality","display_name":"Cardinality (data modeling)","score":0.41554075479507446},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3898076117038727},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.3412758708000183},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.33477506041526794},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.1939181089401245},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.17108598351478577},{"id":"https://openalex.org/keywords/substructural-logic","display_name":"Substructural logic","score":0.12970644235610962}],"concepts":[{"id":"https://openalex.org/C206321295","wikidata":"https://www.wikidata.org/wiki/Q8080919","display_name":"\u0141ukasiewicz logic","level":5,"score":0.7653015851974487},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.6664106845855713},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.647209644317627},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.6068413853645325},{"id":"https://openalex.org/C135692309","wikidata":"https://www.wikidata.org/wiki/Q111124","display_name":"Square (algebra)","level":2,"score":0.6049146056175232},{"id":"https://openalex.org/C100643331","wikidata":"https://www.wikidata.org/wiki/Q205170","display_name":"Power set","level":3,"score":0.4658091366291046},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.42861804366111755},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.41554075479507446},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3898076117038727},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3412758708000183},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.33477506041526794},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.1939181089401245},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.17108598351478577},{"id":"https://openalex.org/C144760519","wikidata":"https://www.wikidata.org/wiki/Q839490","display_name":"Substructural logic","level":4,"score":0.12970644235610962},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1093/logcom/exab064","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exab064","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:oai:philpapers.org/rec/CONOTE","is_oa":true,"landing_page_url":"https://philpapers.org/rec/CONOTE","pdf_url":"https://philpapers.org/archive/CONOTE.pdf","source":{"id":"https://openalex.org/S4306402130","display_name":"PhilPapers (PhilPapers Foundation)","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:digital.csic.es:10261/304474","is_oa":false,"landing_page_url":"http://hdl.handle.net/10261/304474","pdf_url":null,"source":{"id":"https://openalex.org/S4306400616","display_name":"DIGITAL.CSIC (Spanish National Research Council (CSIC))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I134820265","host_organization_name":"Consejo Superior de Investigaciones Cient\u00edficas","host_organization_lineage":["https://openalex.org/I134820265"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"art\u00edculo"},{"id":"pmh:oai:philarchive.org/rec/CONOTE","is_oa":false,"landing_page_url":"https://philarchive.org/rec/CONOTE","pdf_url":null,"source":{"id":"https://openalex.org/S4306402130","display_name":"PhilPapers (PhilPapers Foundation)","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":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":{"id":"doi:10.1093/logcom/exab064","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exab064","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1775771756","display_name":null,"funder_award_id":"306530/2019-8","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G3364820047","display_name":null,"funder_award_id":"2019-8","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G3690828678","display_name":null,"funder_award_id":"PID2019","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"}],"funders":[{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"},{"id":"https://openalex.org/F4320322930","display_name":"Ministerio de Ciencia e Innovaci\u00f3n","ror":"https://ror.org/034900433"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1029679245","https://openalex.org/W1503075583","https://openalex.org/W1535673504","https://openalex.org/W1566552629","https://openalex.org/W1964048881","https://openalex.org/W1972517209","https://openalex.org/W1993433997","https://openalex.org/W2017462139","https://openalex.org/W2018957484","https://openalex.org/W2030856324","https://openalex.org/W2073932447","https://openalex.org/W2082093772","https://openalex.org/W2082550766","https://openalex.org/W2084033816","https://openalex.org/W2089512798","https://openalex.org/W2099602798","https://openalex.org/W2110182592","https://openalex.org/W2167576560","https://openalex.org/W2962967093","https://openalex.org/W3191291153","https://openalex.org/W4249470828","https://openalex.org/W4249662215","https://openalex.org/W4252113473","https://openalex.org/W4293176479","https://openalex.org/W6763439974","https://openalex.org/W6800732205","https://openalex.org/W6832638806","https://openalex.org/W7019499064"],"related_works":["https://openalex.org/W4376141127","https://openalex.org/W2147918975","https://openalex.org/W2078474510","https://openalex.org/W177504871","https://openalex.org/W3099946876","https://openalex.org/W2087878692","https://openalex.org/W1792820147","https://openalex.org/W4283312226","https://openalex.org/W2911110256","https://openalex.org/W3209875724"],"abstract_inverted_index":{"Abstract":[0],"The":[1,63],"aim":[2,33],"of":[3,12,16,65,75,107,112,122,192],"the":[4,9,13,26,42,72,81,84,92,105,108,113,132,141],"paper":[5],"is":[6,25,45,111,138],"to":[7,47,119,165],"analyze":[8],"expressive":[10],"power":[11],"square":[14,43,86,157,169],"operator":[15,44,87,170,183],"\u0141ukasiewicz":[17,28,85,156,168],"logic:":[18],"$\\ast":[19],"x=x\\odot":[20],"x$,":[21],"where":[22,116],"$\\odot":[23],"$":[24],"strong":[27],"conjunction.":[29],"In":[30,175],"particular,":[31],"we":[32,126,130,160,178],"at":[34],"understanding":[35],"and":[36,83,89,102,155],"characterizing":[37],"those":[38],"cases":[39],"in":[40],"which":[41],"enough":[46],"construct":[48],"a":[49,53,120,145,188],"finite":[50,54,146],"MV-chain":[51,76],"from":[52,80],"totally":[55,147],"ordered":[56,148],"set":[57,149,191],"endowed":[58,150],"with":[59,151],"an":[60,152,162,182],"involutive":[61,153,172],"negation.":[62],"first":[64],"our":[66],"main":[67],"results":[68],"shows":[69],"that,":[70],"indeed,":[71],"whole":[73],"structure":[74,94],"can":[77,184],"be":[78,185],"reconstructed":[79],"involution":[82],"if":[88,91,101,104],"only":[90,96,103],"obtained":[93],"has":[95],"trivial":[97],"subalgebras":[98],"and,":[99],"equivalently,":[100],"cardinality":[106],"starting":[109],"chain":[110],"form":[114],"$n+1$":[115],"$n$":[117],"belongs":[118],"class":[121],"prime":[123],"numbers":[124],"that":[125,180],"fully":[127],"characterize.":[128],"Secondly,":[129],"axiomatize":[131],"algebraizable":[133],"matrix":[134],"logic":[135],"whose":[136],"semantics":[137],"given":[139],"by":[140,144,187],"variety":[142],"generated":[143],"negation":[154],"operator.":[158],"Finally,":[159],"propose":[161],"alternative":[163],"way":[164],"account":[166],"for":[167],"on":[171],"G\u00f6del":[173],"chains.":[174],"this":[176],"setting,":[177],"show":[179],"such":[181],"captured":[186],"rather":[189],"intuitive":[190],"equations.":[193]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}