{"id":"https://openalex.org/W2170395139","doi":"https://doi.org/10.1142/s0218488514500093","title":"On the Boolean-like Law I(x, I(y, x)) = 1","display_name":"On the Boolean-like Law I(x, I(y, x)) = 1","publication_year":2014,"publication_date":"2014-04-01","ids":{"openalex":"https://openalex.org/W2170395139","doi":"https://doi.org/10.1142/s0218488514500093","mag":"2170395139"},"language":"en","primary_location":{"id":"doi:10.1142/s0218488514500093","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218488514500093","pdf_url":null,"source":{"id":"https://openalex.org/S69518169","display_name":"International Journal of Uncertainty Fuzziness and Knowledge-Based Systems","issn_l":"0218-4885","issn":["0218-4885","1793-6411"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems","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/A5080932274","display_name":"Anderson Cruz","orcid":"https://orcid.org/0000-0003-1505-352X"},"institutions":[{"id":"https://openalex.org/I35046152","display_name":"Universidade Federal do Rio Grande do Norte","ror":"https://ror.org/04wn09761","country_code":"BR","type":"education","lineage":["https://openalex.org/I35046152"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Anderson Cruz","raw_affiliation_strings":["Metr\u00f3pole Digital Institute, Federal University of Rio Grande do Norte \u2013 UFRN, Natal, Rio Grande do Norte, 59072-970, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Metr\u00f3pole Digital Institute, Federal University of Rio Grande do Norte \u2013 UFRN, Natal, Rio Grande do Norte, 59072-970, Brazil","institution_ids":["https://openalex.org/I35046152"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004002970","display_name":"Benjam\u00edn Bedregal","orcid":"https://orcid.org/0000-0002-6757-7934"},"institutions":[{"id":"https://openalex.org/I35046152","display_name":"Universidade Federal do Rio Grande do Norte","ror":"https://ror.org/04wn09761","country_code":"BR","type":"education","lineage":["https://openalex.org/I35046152"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Benjam\u00edn Bedregal","raw_affiliation_strings":["Group for Logic, Language, Information, Theory and Applications \u2013 LoLITA, Department of Informatics and Applied Mathematics \u2013 DIMAp, Federal University of Rio Grande do Norte \u2013 UFRN, Natal, Rio Grande do Norte, 59072-970, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Group for Logic, Language, Information, Theory and Applications \u2013 LoLITA, Department of Informatics and Applied Mathematics \u2013 DIMAp, Federal University of Rio Grande do Norte \u2013 UFRN, Natal, Rio Grande do Norte, 59072-970, Brazil","institution_ids":["https://openalex.org/I35046152"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044053371","display_name":"Regivan Santiago","orcid":"https://orcid.org/0000-0002-4991-9603"},"institutions":[{"id":"https://openalex.org/I35046152","display_name":"Universidade Federal do Rio Grande do Norte","ror":"https://ror.org/04wn09761","country_code":"BR","type":"education","lineage":["https://openalex.org/I35046152"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Regivan Santiago","raw_affiliation_strings":["Group for Logic, Language, Information, Theory and Applications \u2013 LoLITA, Department of Informatics and Applied Mathematics \u2013 DIMAp, Federal University of Rio Grande do Norte \u2013 UFRN, Natal, Rio Grande do Norte, 59072-970, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Group for Logic, Language, Information, Theory and Applications \u2013 LoLITA, Department of Informatics and Applied Mathematics \u2013 DIMAp, Federal University of Rio Grande do Norte \u2013 UFRN, Natal, Rio Grande do Norte, 59072-970, Brazil","institution_ids":["https://openalex.org/I35046152"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I35046152"],"apc_list":null,"apc_paid":null,"fwci":0.8284,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.82089434,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"22","issue":"02","first_page":"205","last_page":"215"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10820","display_name":"Fuzzy Logic and Control Systems","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10820","display_name":"Fuzzy Logic and Control Systems","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10050","display_name":"Multi-Criteria Decision Making","score":0.9955000281333923,"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"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9926999807357788,"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/generalization","display_name":"Generalization","score":0.790928304195404},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.6726118922233582},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5787534713745117},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5632118582725525},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4906229078769684},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.415500670671463},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3582421541213989},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2737523913383484},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2599300146102905},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09772604703903198},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06123736500740051}],"concepts":[{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.790928304195404},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.6726118922233582},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5787534713745117},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5632118582725525},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4906229078769684},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.415500670671463},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3582421541213989},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2737523913383484},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2599300146102905},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09772604703903198},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06123736500740051},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218488514500093","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218488514500093","pdf_url":null,"source":{"id":"https://openalex.org/S69518169","display_name":"International Journal of Uncertainty Fuzziness and Knowledge-Based Systems","issn_l":"0218-4885","issn":["0218-4885","1793-6411"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7400000095367432,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W121709182","https://openalex.org/W1543177753","https://openalex.org/W1923956138","https://openalex.org/W1986391289","https://openalex.org/W1998457874","https://openalex.org/W2002973847","https://openalex.org/W2025021415","https://openalex.org/W2091917309","https://openalex.org/W2092829641","https://openalex.org/W2099647936","https://openalex.org/W2115067689","https://openalex.org/W2133335212","https://openalex.org/W2152606016","https://openalex.org/W2227574681","https://openalex.org/W2915061287","https://openalex.org/W4247081636","https://openalex.org/W4256322340"],"related_works":["https://openalex.org/W3162204513","https://openalex.org/W2371138613","https://openalex.org/W2048963458","https://openalex.org/W43109613","https://openalex.org/W2359952343","https://openalex.org/W2080152487","https://openalex.org/W2239445980","https://openalex.org/W2012531322","https://openalex.org/W3083152911","https://openalex.org/W2120455979"],"abstract_inverted_index":{"The":[0],"well-known":[1],"Boolean-law":[2],"\u201c\u03b1":[3],"\u2192":[4,6],"(\u03b2":[5],"\u03b1)":[7],"=":[8,20],"1\u201d":[9],"can":[10],"be":[11],"generalized":[12],"to":[13],"fuzzy":[14,26,44,55,70],"context":[15],"as":[16],"I(x,":[17],"I(y,":[18],"x))":[19],"1,":[21],"where":[22],"I":[23,72],"is":[24],"a":[25,69],"implication.":[27],"In":[28,64],"this":[29,40],"paper":[30],"we":[31,66],"show":[32],"the":[33,48,51],"necessary":[34],"and":[35,61,78],"sufficient":[36],"conditions":[37],"under":[38],"which":[39],"generalization":[41],"holds":[42],"in":[43],"logics.":[45],"We":[46],"focus":[47],"investigation":[49],"on":[50],"following":[52],"classes":[53],"of":[54],"implication:":[56],"(S,N)-,":[57],"R-,":[58],"QL-,":[59],"D-":[60],"(N,":[62],"T)-implications.":[63],"addition,":[65],"demonstrate":[67],"that":[68],"implication":[71],"satisfies":[73,84],"such":[74],"Boolean-like":[75],"law":[76],"if,":[77,80],"only":[79],"its":[81],"\u0424-conjugate":[82],"also":[83],"it.":[85]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}