{"id":"https://openalex.org/W2791217225","doi":"https://doi.org/10.3233/jifs-161187","title":"Multi-ary \u03b1-ordered linear minimal resolution method in lattice-valued logic\u00a0system","display_name":"Multi-ary \u03b1-ordered linear minimal resolution method in lattice-valued logic\u00a0system","publication_year":2018,"publication_date":"2018-03-22","ids":{"openalex":"https://openalex.org/W2791217225","doi":"https://doi.org/10.3233/jifs-161187","mag":"2791217225"},"language":"en","primary_location":{"id":"doi:10.3233/jifs-161187","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jifs-161187","pdf_url":null,"source":{"id":"https://openalex.org/S179157397","display_name":"Journal of Intelligent & Fuzzy Systems","issn_l":"1064-1246","issn":["1064-1246","1875-8967"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Intelligent & Fuzzy 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/A5101032811","display_name":"Hairui Jia","orcid":null},"institutions":[{"id":"https://openalex.org/I4800084","display_name":"Southwest Jiaotong University","ror":"https://ror.org/00hn7w693","country_code":"CN","type":"education","lineage":["https://openalex.org/I4800084"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jia Hairui","raw_affiliation_strings":["Intelligent Control Development Center, Southwest Jiaotong University, Chengdu, Sichuan, China","National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Southwest Jiaotong University, Chengdu, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intelligent Control Development Center, Southwest Jiaotong University, Chengdu, Sichuan, China","institution_ids":["https://openalex.org/I4800084"]},{"raw_affiliation_string":"National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Southwest Jiaotong University, Chengdu, China","institution_ids":["https://openalex.org/I4800084"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100330428","display_name":"Yi Liu","orcid":"https://orcid.org/0000-0001-5304-235X"},"institutions":[{"id":"https://openalex.org/I4210117337","display_name":"Neijiang Normal University","ror":"https://ror.org/02bc8tz70","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210117337"]},{"id":"https://openalex.org/I4800084","display_name":"Southwest Jiaotong University","ror":"https://ror.org/00hn7w693","country_code":"CN","type":"education","lineage":["https://openalex.org/I4800084"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liu Yi","raw_affiliation_strings":["College of Mathematics and Information Science Neijiang Normal University, Neijiang, Sichuan, China","Intelligent Control Development Center, Southwest Jiaotong University, Chengdu, Sichuan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Mathematics and Information Science Neijiang Normal University, Neijiang, Sichuan, China","institution_ids":["https://openalex.org/I4210117337"]},{"raw_affiliation_string":"Intelligent Control Development Center, Southwest Jiaotong University, Chengdu, Sichuan, China","institution_ids":["https://openalex.org/I4800084"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014490044","display_name":"Yang Xu","orcid":"https://orcid.org/0000-0002-0958-8547"},"institutions":[{"id":"https://openalex.org/I4800084","display_name":"Southwest Jiaotong University","ror":"https://ror.org/00hn7w693","country_code":"CN","type":"education","lineage":["https://openalex.org/I4800084"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xu Yang","raw_affiliation_strings":["Intelligent Control Development Center, Southwest Jiaotong University, Chengdu, Sichuan, China","National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Southwest Jiaotong University, Chengdu, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intelligent Control Development Center, Southwest Jiaotong University, Chengdu, Sichuan, China","institution_ids":["https://openalex.org/I4800084"]},{"raw_affiliation_string":"National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Southwest Jiaotong University, Chengdu, China","institution_ids":["https://openalex.org/I4800084"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5101032811"],"corresponding_institution_ids":["https://openalex.org/I4800084"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0552596,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"34","issue":"3","first_page":"1777","last_page":"1789"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998000264167786,"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.9998000264167786,"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/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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/T11567","display_name":"semigroups and automata theory","score":0.9986000061035156,"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/resolution","display_name":"Resolution (logic)","score":0.6560490727424622},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.5771995782852173},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5297974944114685},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3838188052177429},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3665981590747833},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17624157667160034},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.09381785988807678}],"concepts":[{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.6560490727424622},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.5771995782852173},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5297974944114685},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3838188052177429},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3665981590747833},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17624157667160034},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.09381785988807678},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/jifs-161187","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jifs-161187","pdf_url":null,"source":{"id":"https://openalex.org/S179157397","display_name":"Journal of Intelligent & Fuzzy Systems","issn_l":"1064-1246","issn":["1064-1246","1875-8967"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Intelligent & Fuzzy Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1516153826","https://openalex.org/W1834865934","https://openalex.org/W1966321785","https://openalex.org/W1981472242","https://openalex.org/W1982312515","https://openalex.org/W2049403762","https://openalex.org/W2058341526","https://openalex.org/W2100738443","https://openalex.org/W2142726933","https://openalex.org/W2171376204","https://openalex.org/W2283886275","https://openalex.org/W2323593764","https://openalex.org/W2498912203","https://openalex.org/W2503877518","https://openalex.org/W3023211053"],"related_works":["https://openalex.org/W2338628364","https://openalex.org/W2483686407","https://openalex.org/W2040220855","https://openalex.org/W2014638965","https://openalex.org/W2107426830","https://openalex.org/W2313895850","https://openalex.org/W2388655135","https://openalex.org/W2382072179","https://openalex.org/W2946950020","https://openalex.org/W2478201035","https://openalex.org/W64935889","https://openalex.org/W2064450110","https://openalex.org/W150575350","https://openalex.org/W2343056902","https://openalex.org/W2964335747","https://openalex.org/W1967639122","https://openalex.org/W1002786610","https://openalex.org/W2074396685","https://openalex.org/W2122870618","https://openalex.org/W2244472964"],"abstract_inverted_index":{"On":[0],"the":[1,71,88,130,135,138],"basis":[2],"of":[3,53,90],"\u03b1-minimal":[4],"resolution":[5,9,17,44,65,95,109,143],"principle,":[6],"an":[7,104],"\u03b1-n(t)-ary":[8,142],"dynamic":[10,144],"automated":[11,145],"reasoning":[12,146],"method\u2014multi-ary":[13],"\u03b1-ordered":[14,41,62,92,106],"linear":[15,42,63,93,107],"minimal":[16,43,64,94,108],"method":[18,45,66],"is":[19,46,67,100,113,117,126],"studied":[20],"in":[21,48,70,111,129],"lattice-valued":[22,28,73,98],"propositional":[23],"logic":[24,30,75,99],"system":[25,31],"LP(X)":[26,112],"and":[27,56,84,115,122],"first-order":[29,74],"LF(X)":[32],"based":[33,96],"on":[34,97,141],"lattice":[35],"implication":[36],"algebra":[37],"(LIA).":[38],"Firstly,":[39],"multi-ary":[40,61,91,105],"established":[47,69],"LP(X),":[49],"while":[50],"its":[51,79],"theorems":[52],"both":[54],"soundness":[55,80],"completeness":[57,85],"are":[58],"proved.":[59],"Then,":[60,87],"further":[68,127,139],"corresponding":[72,131],"LF(X),":[76],"along":[77],"with":[78],"theorem,":[81],"lifting":[82],"lemma,":[83],"theorem.":[86],"validity":[89],"analyzed.":[101],"At":[102],"last,":[103],"algorithm":[110],"designed,":[114],"it":[116,125],"proved":[118],"to":[119],"be":[120],"sound":[121],"complete,":[123],"then":[124],"extended":[128],"LF(X).":[132],"This":[133],"lays":[134],"foundation":[136],"for":[137],"study":[140],"program.":[147]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}