{"id":"https://openalex.org/W1834865934","doi":"https://doi.org/10.1007/978-3-540-72434-6_36","title":"Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional Logic","display_name":"Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional Logic","publication_year":2007,"publication_date":"2007-10-09","ids":{"openalex":"https://openalex.org/W1834865934","doi":"https://doi.org/10.1007/978-3-540-72434-6_36","mag":"1834865934"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-72434-6_36","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-72434-6_36","pdf_url":null,"source":{"id":"https://openalex.org/S4210167543","display_name":"Advances in soft computing","issn_l":"1615-3871","issn":["1615-3871","1860-0794"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Soft Computing","raw_type":"book-chapter"},"type":"book-chapter","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/A5100462090","display_name":"Yang Xu","orcid":"https://orcid.org/0000-0002-9151-8555"},"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":"Yang Xu","raw_affiliation_strings":["Department of Mathematics, Southwest Jiaotong University, Chengdu, Sichuan 610031, P.R. China","Department of Mathematics, Southwest Jiaotong University, Chengdu, Sichuan, 610031"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Southwest Jiaotong University, Chengdu, Sichuan 610031, P.R. China","institution_ids":["https://openalex.org/I4800084"]},{"raw_affiliation_string":"Department of Mathematics, Southwest Jiaotong University, Chengdu, Sichuan, 610031","institution_ids":["https://openalex.org/I4800084"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101938920","display_name":"Shuwei Chen","orcid":"https://orcid.org/0009-0005-3182-1914"},"institutions":[{"id":"https://openalex.org/I38877650","display_name":"Zhengzhou University","ror":"https://ror.org/04ypx8c21","country_code":"CN","type":"education","lineage":["https://openalex.org/I38877650"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuwei Chen","raw_affiliation_strings":["School of Electrical Engineering, Zhengzhou University, Zhengzhou, Henan 450001, P.R. China","School of Electrical Engineering,Zhengzhou University,Zhengzhou Henan,450001)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical Engineering, Zhengzhou University, Zhengzhou, Henan 450001, P.R. China","institution_ids":["https://openalex.org/I38877650"]},{"raw_affiliation_string":"School of Electrical Engineering,Zhengzhou University,Zhengzhou Henan,450001)","institution_ids":["https://openalex.org/I38877650"]}]},{"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":"Jun Liu","raw_affiliation_strings":["School of Computing and Mathematics, Faculty of Engineering, University of Ulster at Jordanstown, Newtownabbey BT37 0QB, Northern Ireland","School of Computing and Mathematics, Faculty of Engineering, University of Ulster at Jordanstown, Newtownabbey BT37 0QB"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing and Mathematics, Faculty of Engineering, University of Ulster at Jordanstown, Newtownabbey BT37 0QB, Northern Ireland","institution_ids":["https://openalex.org/I138801177"]},{"raw_affiliation_string":"School of Computing and Mathematics, Faculty of Engineering, University of Ulster at Jordanstown, Newtownabbey BT37 0QB","institution_ids":["https://openalex.org/I138801177"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5104092668","display_name":"Da Ruan","orcid":null},"institutions":[{"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":"Da Ruan","raw_affiliation_strings":["The Belgian Nuclear Research Centre (SCK CEN), Boeretang 200, B-2400 Mol, Belgium","The Belgian Nuclear Research Centre (SCK CEN), Boeretang 200, B-2400 Mol"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Belgian Nuclear Research Centre (SCK CEN), Boeretang 200, B-2400 Mol, Belgium","institution_ids":["https://openalex.org/I4210114391"]},{"raw_affiliation_string":"The Belgian Nuclear Research Centre (SCK CEN), Boeretang 200, B-2400 Mol","institution_ids":["https://openalex.org/I4210114391"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6811,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.72602463,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"358","last_page":"366"},"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9987999796867371,"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/T10050","display_name":"Multi-Criteria Decision Making","score":0.9965000152587891,"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/truth-value","display_name":"Truth value","score":0.7749584913253784},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.7142276167869568},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.6515690088272095},{"id":"https://openalex.org/keywords/resolution","display_name":"Resolution (logic)","score":0.6316453218460083},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5829374194145203},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.5203623175621033},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.5076957941055298},{"id":"https://openalex.org/keywords/zeroth-order-logic","display_name":"Zeroth-order logic","score":0.5050416588783264},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4639764428138733},{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.4463132619857788},{"id":"https://openalex.org/keywords/g\u00f6dels-completeness-theorem","display_name":"G\u00f6del's completeness theorem","score":0.44233208894729614},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.42489850521087646},{"id":"https://openalex.org/keywords/well-formed-formula","display_name":"Well-formed formula","score":0.4197181165218353},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3934350907802582},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.35741618275642395},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.3141259551048279},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3003692924976349},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.2591598629951477},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.22074490785598755},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1543910801410675},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1173102855682373},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.11223971843719482},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.08696505427360535},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07782453298568726}],"concepts":[{"id":"https://openalex.org/C46274116","wikidata":"https://www.wikidata.org/wiki/Q185521","display_name":"Truth value","level":2,"score":0.7749584913253784},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.7142276167869568},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.6515690088272095},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.6316453218460083},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5829374194145203},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.5203623175621033},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.5076957941055298},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.5050416588783264},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4639764428138733},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.4463132619857788},{"id":"https://openalex.org/C200116569","wikidata":"https://www.wikidata.org/wiki/Q902052","display_name":"G\u00f6del's completeness theorem","level":2,"score":0.44233208894729614},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.42489850521087646},{"id":"https://openalex.org/C191222856","wikidata":"https://www.wikidata.org/wiki/Q655328","display_name":"Well-formed formula","level":5,"score":0.4197181165218353},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3934350907802582},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35741618275642395},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.3141259551048279},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3003692924976349},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.2591598629951477},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.22074490785598755},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1543910801410675},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1173102855682373},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.11223971843719482},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.08696505427360535},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07782453298568726},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-72434-6_36","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-72434-6_36","pdf_url":null,"source":{"id":"https://openalex.org/S4210167543","display_name":"Advances in soft computing","issn_l":"1615-3871","issn":["1615-3871","1860-0794"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Soft Computing","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5600000023841858,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W46712491","https://openalex.org/W1516153826","https://openalex.org/W1982312515","https://openalex.org/W1988384023","https://openalex.org/W1997196510","https://openalex.org/W2041116216","https://openalex.org/W2049403762","https://openalex.org/W2058200602","https://openalex.org/W2069770997","https://openalex.org/W2113706703","https://openalex.org/W2117827905","https://openalex.org/W2153181185","https://openalex.org/W2161555129","https://openalex.org/W2165538520","https://openalex.org/W2322592581","https://openalex.org/W2498912203","https://openalex.org/W2623293810"],"related_works":["https://openalex.org/W2045432969","https://openalex.org/W2070878538","https://openalex.org/W1963842936","https://openalex.org/W2165569445","https://openalex.org/W1980622348","https://openalex.org/W2610704418","https://openalex.org/W1492553442","https://openalex.org/W1834865934","https://openalex.org/W3159163524","https://openalex.org/W2014565657"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}