{"id":"https://openalex.org/W2172490369","doi":"https://doi.org/10.3233/ifs-151987","title":"Lattice and metric completions of the classical logic metric space and a comparison1","display_name":"Lattice and metric completions of the classical logic metric space and a comparison1","publication_year":2016,"publication_date":"2016-03-10","ids":{"openalex":"https://openalex.org/W2172490369","doi":"https://doi.org/10.3233/ifs-151987","mag":"2172490369"},"language":"en","primary_location":{"id":"doi:10.3233/ifs-151987","is_oa":false,"landing_page_url":"https://doi.org/10.3233/ifs-151987","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/A5076459381","display_name":"Huixian Shi","orcid":"https://orcid.org/0000-0002-0197-550X"},"institutions":[{"id":"https://openalex.org/I88830068","display_name":"Shaanxi Normal University","ror":"https://ror.org/0170z8493","country_code":"CN","type":"education","lineage":["https://openalex.org/I88830068"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Hui-Xian Shi","raw_affiliation_strings":["College of Mathematics and Information Science, Shaanxi Normal University, South Chang\u2019an Road, Yanta District, Xi\u2019an, P.R. China","College of Mathematics and Information Science, Shaanxi Normal University, South Chang'an Road, Yanta District, Xi'an, P.R. China"],"affiliations":[{"raw_affiliation_string":"College of Mathematics and Information Science, Shaanxi Normal University, South Chang\u2019an Road, Yanta District, Xi\u2019an, P.R. China","institution_ids":["https://openalex.org/I88830068"]},{"raw_affiliation_string":"College of Mathematics and Information Science, Shaanxi Normal University, South Chang'an Road, Yanta District, Xi'an, P.R. China","institution_ids":["https://openalex.org/I88830068"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5115604557","display_name":"Yongming Li","orcid":"https://orcid.org/0000-0001-8038-008X"},"institutions":[{"id":"https://openalex.org/I88830068","display_name":"Shaanxi Normal University","ror":"https://ror.org/0170z8493","country_code":"CN","type":"education","lineage":["https://openalex.org/I88830068"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yong-Ming Li","raw_affiliation_strings":["College of Computer Science, Shaanxi Normal University, West Chang\u2019an Avenue, Chang\u2019an District, Xi\u2019an, P.R. China","Fax: +86 29 85310232","E-mail:"],"affiliations":[{"raw_affiliation_string":"College of Computer Science, Shaanxi Normal University, West Chang\u2019an Avenue, Chang\u2019an District, Xi\u2019an, P.R. China","institution_ids":["https://openalex.org/I88830068"]},{"raw_affiliation_string":"Fax: +86 29 85310232","institution_ids":[]},{"raw_affiliation_string":"E-mail:","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5076459381"],"corresponding_institution_ids":["https://openalex.org/I88830068"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00880813,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"30","issue":"4","first_page":"2181","last_page":"2188"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and 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/T11727","display_name":"Advanced Algebra and 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/T11671","display_name":"Fuzzy and Soft Set Theory","score":0.9950000047683716,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.982200026512146,"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/mathematics","display_name":"Mathematics","score":0.6988832950592041},{"id":"https://openalex.org/keywords/injective-metric-space","display_name":"Injective metric space","score":0.5900963544845581},{"id":"https://openalex.org/keywords/metric-space","display_name":"Metric space","score":0.5871533751487732},{"id":"https://openalex.org/keywords/fisher-information-metric","display_name":"Fisher information metric","score":0.5063079595565796},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4753548800945282},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.4478081166744232},{"id":"https://openalex.org/keywords/convex-metric-space","display_name":"Convex metric space","score":0.43749186396598816},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06333532929420471}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6988832950592041},{"id":"https://openalex.org/C177547787","wikidata":"https://www.wikidata.org/wiki/Q6034319","display_name":"Injective metric space","level":3,"score":0.5900963544845581},{"id":"https://openalex.org/C198043062","wikidata":"https://www.wikidata.org/wiki/Q180953","display_name":"Metric space","level":2,"score":0.5871533751487732},{"id":"https://openalex.org/C127104897","wikidata":"https://www.wikidata.org/wiki/Q5454858","display_name":"Fisher information metric","level":4,"score":0.5063079595565796},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4753548800945282},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.4478081166744232},{"id":"https://openalex.org/C196613150","wikidata":"https://www.wikidata.org/wiki/Q3966092","display_name":"Convex metric space","level":3,"score":0.43749186396598816},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06333532929420471},{"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/ifs-151987","is_oa":false,"landing_page_url":"https://doi.org/10.3233/ifs-151987","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1532122496","https://openalex.org/W1942471329","https://openalex.org/W1951431556","https://openalex.org/W1997798171","https://openalex.org/W2016079941","https://openalex.org/W2048570116","https://openalex.org/W2048959899","https://openalex.org/W2093397547","https://openalex.org/W2110182592","https://openalex.org/W2281107029","https://openalex.org/W2914754927","https://openalex.org/W3047122219","https://openalex.org/W4236339255","https://openalex.org/W4300885858","https://openalex.org/W6695263790"],"related_works":["https://openalex.org/W2398868469","https://openalex.org/W2001114394","https://openalex.org/W2185831068","https://openalex.org/W3018342392","https://openalex.org/W2047851589","https://openalex.org/W4205383077","https://openalex.org/W2207737352","https://openalex.org/W1588014394","https://openalex.org/W2000097109","https://openalex.org/W3157600342"],"abstract_inverted_index":{"Based":[0],"on":[1,14,28],"the":[2,15,29,42,62,68,88,104,108,116,121,138,144,149,161,165],"concept":[3],"of":[4,17,33,57,65,70,87,103,120,137,146,160,167],"truth":[5],"degree":[6],"for":[7],"logical":[8],"formulas,":[9,21],"a":[10,23,38,125,157],"pseudo-metric":[11],"is":[12,25,82,112,131],"constructed":[13],"set":[16],"all":[18],"classical":[19,43,89,139],"propositional":[20],"and":[22,54,60],"metric":[24,39,55,76,85,91,135,141,162],"naturally":[26],"induced":[27],"corresponding":[30],"Lindenbaum":[31,105,122],"algebra":[32,123,127],"Boolean":[34,95,126],"type,":[35],"which":[36,97,130],"constitutes":[37,124],"space,":[40,59],"called":[41],"logic":[44,90,140],"metri":[45],"c":[46],"space.":[47],"We":[48],"respectively":[49],"study":[50],"both":[51],"lattice":[52,71,101,118,151],"completions":[53,56,66,86,102,136,163],"this":[58],"compare":[61],"two":[63],"kinds":[64],"from":[67],"angle":[69],"structure":[72],"as":[73,75,100,128,156],"well":[74],"structure.":[77],"On":[78,107],"one":[79],"hand,":[80,110],"it":[81,111],"proved":[83],"that":[84,115],"space":[92,142],"are":[93],"complete":[94],"algebras,":[96],"also":[98],"act":[99],"algebra.":[106],"other":[109],"pointed":[113],"out":[114],"normal":[117,150],"completion":[119,152],"well,":[129],"strictly":[132],"smaller":[133],"than":[134],"in":[143,164],"sense":[145,166],"order-embedding.":[147],"Also,":[148],"can":[153],"be":[154],"seen":[155],"dense":[158],"subspace":[159],"isometry.":[168]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}