{"id":"https://openalex.org/W2166100649","doi":"https://doi.org/10.1093/jigpal/jzr007","title":"On \u00a0-satisfiability and its \u00a0-lock resolution in a finite lattice-valued propositional logic","display_name":"On \u00a0-satisfiability and its \u00a0-lock resolution in a finite lattice-valued propositional logic","publication_year":2011,"publication_date":"2011-02-11","ids":{"openalex":"https://openalex.org/W2166100649","doi":"https://doi.org/10.1093/jigpal/jzr007","mag":"2166100649"},"language":"en","primary_location":{"id":"doi:10.1093/jigpal/jzr007","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzr007","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of IGPL","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/A5030166798","display_name":"Xing He","orcid":"https://orcid.org/0000-0001-7676-9930"},"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":"X. He","raw_affiliation_strings":["Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031, Sichuan, PR China.E-mail:"],"affiliations":[{"raw_affiliation_string":"Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031, Sichuan, PR China.E-mail:","institution_ids":["https://openalex.org/I4800084"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100361707","display_name":"Jun Liu","orcid":"https://orcid.org/0000-0001-8859-5405"},"institutions":[{"id":"https://openalex.org/I138801177","display_name":"University of Ulster","ror":"https://ror.org/01yp9g959","country_code":"GB","type":"education","lineage":["https://openalex.org/I138801177"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"J. Liu","raw_affiliation_strings":["School of Computing and Mathematics, University of Ulster, Northern Ireland, UK.E-mail:"],"affiliations":[{"raw_affiliation_string":"School of Computing and Mathematics, University of Ulster, Northern Ireland, UK.E-mail:","institution_ids":["https://openalex.org/I138801177"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108049509","display_name":"Yingxiao Xu","orcid":"https://orcid.org/0009-0009-8976-9396"},"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":"Y. Xu","raw_affiliation_strings":["Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031, Sichuan, PR China.E-mail:"],"affiliations":[{"raw_affiliation_string":"Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031, Sichuan, PR China.E-mail:","institution_ids":["https://openalex.org/I4800084"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009797333","display_name":"Luis Mart\u0131\u0301nez","orcid":"https://orcid.org/0000-0003-4245-8813"},"institutions":[{"id":"https://openalex.org/I191420491","display_name":"Universidad de Ja\u00e9n","ror":"https://ror.org/0122p5f64","country_code":"ES","type":"education","lineage":["https://openalex.org/I191420491"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"L. Martinez","raw_affiliation_strings":["Department of Computing, University of Ja\u00e9n, E-23071 Ja\u00e9n, Spain.E-mail:"],"affiliations":[{"raw_affiliation_string":"Department of Computing, University of Ja\u00e9n, E-23071 Ja\u00e9n, Spain.E-mail:","institution_ids":["https://openalex.org/I191420491"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062440004","display_name":"Dong Ruan","orcid":"https://orcid.org/0000-0001-8463-0568"},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]},{"id":"https://openalex.org/I4210114391","display_name":"Belgian Nuclear Research Centre","ror":"https://ror.org/020xs5r81","country_code":"BE","type":"facility","lineage":["https://openalex.org/I4210114391"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"D. Ruan","raw_affiliation_strings":["Belgian Nuclear Research Centre (SCK\u2022CEN), 2400 Mol, and Ghent University, 9000 Gent, Belgium.E-mail:"],"affiliations":[{"raw_affiliation_string":"Belgian Nuclear Research Centre (SCK\u2022CEN), 2400 Mol, and Ghent University, 9000 Gent, Belgium.E-mail:","institution_ids":["https://openalex.org/I4210114391","https://openalex.org/I32597200"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5030166798"],"corresponding_institution_ids":["https://openalex.org/I4800084"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":4.3851,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.94668493,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"20","issue":"3","first_page":"579","last_page":"588"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9993000030517578,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9993000030517578,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9991999864578247,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9962000250816345,"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/soundness","display_name":"Soundness","score":0.8408191204071045},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.7587193250656128},{"id":"https://openalex.org/keywords/truth-value","display_name":"Truth value","score":0.6145661473274231},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.5995435118675232},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5915038585662842},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.5416581630706787},{"id":"https://openalex.org/keywords/resolution","display_name":"Resolution (logic)","score":0.5219427943229675},{"id":"https://openalex.org/keywords/zeroth-order-logic","display_name":"Zeroth-order logic","score":0.4695734679698944},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.4640364646911621},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.43662720918655396},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.4356728792190552},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.4346335530281067},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.4296359419822693},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4295097589492798},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.409233033657074},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36609411239624023},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35135865211486816},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21662494540214539},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.20696836709976196},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1977379322052002},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.15121814608573914}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.8408191204071045},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7587193250656128},{"id":"https://openalex.org/C46274116","wikidata":"https://www.wikidata.org/wiki/Q185521","display_name":"Truth value","level":2,"score":0.6145661473274231},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.5995435118675232},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5915038585662842},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.5416581630706787},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.5219427943229675},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.4695734679698944},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.4640364646911621},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.43662720918655396},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.4356728792190552},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.4346335530281067},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.4296359419822693},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4295097589492798},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.409233033657074},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36609411239624023},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35135865211486816},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21662494540214539},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.20696836709976196},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1977379322052002},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.15121814608573914},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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":2,"locations":[{"id":"doi:10.1093/jigpal/jzr007","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzr007","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of IGPL","raw_type":"journal-article"},{"id":"pmh:oai:archive.ugent.be:2918385","is_oa":false,"landing_page_url":"http://hdl.handle.net/1854/LU-2918385","pdf_url":null,"source":{"id":"https://openalex.org/S4306400478","display_name":"Ghent University Academic Bibliography (Ghent University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32597200","host_organization_name":"Ghent University","host_organization_lineage":["https://openalex.org/I32597200"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 1367-0751","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.4699999988079071,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G2087396116","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3085993365","display_name":null,"funder_award_id":"(Grant No.","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3093370039","display_name":null,"funder_award_id":"60875034","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5994120800","display_name":null,"funder_award_id":"Natural","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7726157001","display_name":null,"funder_award_id":"Grant No.","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W104452911","https://openalex.org/W106393491","https://openalex.org/W1964441964","https://openalex.org/W1981472242","https://openalex.org/W2005769316","https://openalex.org/W2049403762","https://openalex.org/W2084272226","https://openalex.org/W2100738443","https://openalex.org/W2104119803","https://openalex.org/W2223298233"],"related_works":["https://openalex.org/W3100510665","https://openalex.org/W2154555144","https://openalex.org/W2952893544","https://openalex.org/W1573206013","https://openalex.org/W2020323165","https://openalex.org/W3151670155","https://openalex.org/W2078736672","https://openalex.org/W2508249339","https://openalex.org/W2383907964","https://openalex.org/W1986625420"],"abstract_inverted_index":{"Automated":[0],"reasoning":[1,102,111],"issues":[2],"are":[3],"addressed":[4],"for":[5,42,108],"a":[6,15,51,70,75],"finite":[7,16],"lattice-valued":[8,17],"propositional":[9],"logic":[10,31],"LnP(X)":[11,33,49,83,104],"with":[12],"truth-values":[13],"in":[14,38,48,66,82,103,115],"logical":[18],"algebraic":[19],"structure\u2014lattice":[20],"implication":[21],"algebra.":[22],"We":[23,68,95],"investigate":[24],"extended":[25],"strategies":[26],"and":[27,84,91,105,113],"rules":[28],"from":[29],"classical":[30],"to":[32,34],"simplify":[35],"the":[36,39,44,59],"procedure":[37],"semantic":[40],"level":[41,54,78],"testing":[43],"satisfiability":[45],"of":[46,61,89],"formulas":[47],"at":[50,74],"certain":[52,76],"truth-value":[53,77],"\u03b1":[55,79],"(\u03b1-satisfiability)":[56],"while":[57],"keeping":[58],"role":[60],"truth":[62],"constant":[63],"formula":[64],"played":[65],"LnP(X).":[67],"propose":[69],"lock":[71],"resolution":[72,99],"method":[73],"(\u03b1-lock":[80],"resolution)":[81],"have":[85],"proved":[86],"its":[87],"theorems":[88],"soundness":[90],"weak":[92],"completeness,":[93],"respectively.":[94],"provide":[96],"more":[97],"efficient":[98],"based":[100,117],"automated":[101,110],"key":[106],"supports":[107],"\u03b1-resolution-based":[109],"approaches":[112],"algorithms":[114],"lattice":[116],"linguistic":[118],"truth-valued":[119],"logic.":[120]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-13T07:58:08.660418","created_date":"2016-06-24T00:00:00"}