{"id":"https://openalex.org/W2740423750","doi":"https://doi.org/10.1080/03081079.2017.1349632","title":"Formation of the <i>D</i>-basis from implicational systems using Simplification logic","display_name":"Formation of the <i>D</i>-basis from implicational systems using Simplification logic","publication_year":2017,"publication_date":"2017-07-04","ids":{"openalex":"https://openalex.org/W2740423750","doi":"https://doi.org/10.1080/03081079.2017.1349632","mag":"2740423750"},"language":"en","primary_location":{"id":"doi:10.1080/03081079.2017.1349632","is_oa":false,"landing_page_url":"https://doi.org/10.1080/03081079.2017.1349632","pdf_url":null,"source":{"id":"https://openalex.org/S145553572","display_name":"International Journal of General Systems","issn_l":"0308-1079","issn":["0308-1079","1026-7492","1563-5104"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of General 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/A5083693333","display_name":"Estrella Rodr\u00edguez-Lorenzo","orcid":"https://orcid.org/0000-0001-6115-9080"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Estrella Rodr\u00edguez-Lorenzo","raw_affiliation_strings":["Applied Mathematics and Computer Science Department, Universidad de M\u00e1laga, Andaluc\u00eda Tech, M\u00e1laga, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Applied Mathematics and Computer Science Department, Universidad de M\u00e1laga, Andaluc\u00eda Tech, M\u00e1laga, Spain","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008261069","display_name":"Kira Adaricheva","orcid":"https://orcid.org/0000-0002-4773-7486"},"institutions":[{"id":"https://openalex.org/I139290212","display_name":"Hofstra University","ror":"https://ror.org/03pm18j10","country_code":"US","type":"education","lineage":["https://openalex.org/I139290212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kira Adaricheva","raw_affiliation_strings":["Mathematics Department, Hofstra University, New York, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematics Department, Hofstra University, New York, NY, USA","institution_ids":["https://openalex.org/I139290212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021844036","display_name":"Pablo Cordero","orcid":"https://orcid.org/0000-0002-5506-6467"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Pablo Cordero","raw_affiliation_strings":["Applied Mathematics and Computer Science Department, Universidad de M\u00e1laga, Andaluc\u00eda Tech, M\u00e1laga, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Applied Mathematics and Computer Science Department, Universidad de M\u00e1laga, Andaluc\u00eda Tech, M\u00e1laga, Spain","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039917096","display_name":"Manuel Enciso","orcid":"https://orcid.org/0000-0002-0531-4055"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Manuel Enciso","raw_affiliation_strings":["Applied Mathematics and Computer Science Department, Universidad de M\u00e1laga, Andaluc\u00eda Tech, M\u00e1laga, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Applied Mathematics and Computer Science Department, Universidad de M\u00e1laga, Andaluc\u00eda Tech, M\u00e1laga, Spain","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044022589","display_name":"\u00c1ngel Mora","orcid":"https://orcid.org/0000-0003-4548-8030"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Angel Mora","raw_affiliation_strings":["Applied Mathematics and Computer Science Department, Universidad de M\u00e1laga, Andaluc\u00eda Tech, M\u00e1laga, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Applied Mathematics and Computer Science Department, Universidad de M\u00e1laga, Andaluc\u00eda Tech, M\u00e1laga, Spain","institution_ids":["https://openalex.org/I82767444"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5044022589"],"corresponding_institution_ids":["https://openalex.org/I82767444"],"apc_list":null,"apc_paid":null,"fwci":0.4583,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.65986564,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"46","issue":"5","first_page":"547","last_page":"568"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy 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/T11063","display_name":"Rough Sets and Fuzzy 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/T10538","display_name":"Data Mining Algorithms and Applications","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9921000003814697,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/basis","display_name":"Basis (linear algebra)","score":0.7580447196960449},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.7234464883804321},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.6410669088363647},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5857244729995728},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5809112191200256},{"id":"https://openalex.org/keywords/rule-of-inference","display_name":"Rule of inference","score":0.5454540848731995},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5116170048713684},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4654895067214966},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.460194855928421},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4599842429161072},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3627672493457794},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3068247437477112},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17197170853614807}],"concepts":[{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.7580447196960449},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.7234464883804321},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.6410669088363647},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5857244729995728},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5809112191200256},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.5454540848731995},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5116170048713684},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4654895067214966},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.460194855928421},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4599842429161072},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3627672493457794},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3068247437477112},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17197170853614807},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"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/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/03081079.2017.1349632","is_oa":false,"landing_page_url":"https://doi.org/10.1080/03081079.2017.1349632","pdf_url":null,"source":{"id":"https://openalex.org/S145553572","display_name":"International Journal of General Systems","issn_l":"0308-1079","issn":["0308-1079","1026-7492","1563-5104"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of General Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.46000000834465027,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1744401582","display_name":null,"funder_award_id":"TIN2014-59471-P","funder_id":"https://openalex.org/F4320338080","funder_display_name":"European Social Fund"}],"funders":[{"id":"https://openalex.org/F4320311265","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28"},{"id":"https://openalex.org/F4320338080","display_name":"European Social Fund","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1498639019","https://openalex.org/W1578939337","https://openalex.org/W1749537502","https://openalex.org/W1818219524","https://openalex.org/W2018498959","https://openalex.org/W2034262006","https://openalex.org/W2050815550","https://openalex.org/W2070781429","https://openalex.org/W2142968084","https://openalex.org/W2166559705","https://openalex.org/W2232207765","https://openalex.org/W2294623392","https://openalex.org/W2558796058","https://openalex.org/W3120740533","https://openalex.org/W4255318870"],"related_works":["https://openalex.org/W2008788038","https://openalex.org/W1539986213","https://openalex.org/W2103781132","https://openalex.org/W1540355970","https://openalex.org/W1481268856","https://openalex.org/W2062446527","https://openalex.org/W35542109","https://openalex.org/W2531471291","https://openalex.org/W3039072461","https://openalex.org/W1560195753","https://openalex.org/W1591526886","https://openalex.org/W2146803901","https://openalex.org/W1497884533","https://openalex.org/W10111591","https://openalex.org/W2950990748","https://openalex.org/W339710562","https://openalex.org/W2025670570","https://openalex.org/W431976570","https://openalex.org/W29327042","https://openalex.org/W2069709605"],"abstract_inverted_index":{"Sets":[0],"of":[1,18,26,34,46,103,117,126],"implications":[2],"defining":[3],"closure":[4,35,61],"systems":[5,20,36],"are":[6],"used":[7],"as":[8],"a":[9,57],"standard":[10],"way":[11],"to":[12,50,73,112,122],"represent":[13],"knowledge,":[14],"and":[15,37,69,92,95],"the":[16,27,32,44,47,66,87,100,104,114,118,123,127],"search":[17],"implicational":[19,79],"satisfying":[21],"some":[22],"criteria":[23],"constitutes":[24],"one":[25],"most":[28],"active":[29],"topics":[30],"in":[31],"study":[33],"their":[38],"applications.":[39],"Here,":[40],"we":[41,108],"focus":[42],"on":[43,86],"generation":[45],"D-basis,":[48],"known":[49],"be":[51],"an":[52,71,77,110],"ordered":[53],"direct":[54],"basis,":[55],"allowing":[56],"very":[58],"efficient":[59],"attribute":[60],"computation.":[62],"We":[63],"operate":[64],"with":[65],"aggregated":[67],"D-basis":[68],"provide":[70],"algorithm":[72],"get":[74],"it":[75,96],"from":[76],"arbitrary":[78],"set.":[80],"The":[81],"method":[82,120],"has":[83],"been":[84],"designed":[85],"interrelation":[88],"between":[89],"minimal":[90,93],"covers":[91],"generators,":[94],"is":[97],"inspired":[98],"by":[99],"inference":[101],"system":[102],"Simplification":[105],"Logic.":[106],"Moreover,":[107],"develop":[109],"experiment":[111],"show":[113],"better":[115],"performance":[116],"new":[119],"compared":[121],"earlier":[124],"version":[125],"algorithm.":[128]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}