乐胖代购免代理版

{"id":"https://openalex.org/W826102642","doi":"https://doi.org/10.1080/18756891.2015.1063245","title":"The validity degree vectors of formulae in two-valued predicate logic","display_name":"The validity degree vectors of formulae in two-valued predicate logic","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W826102642","doi":"https://doi.org/10.1080/18756891.2015.1063245","mag":"826102642"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1080/18756891.2015.1063245","pdf_url":"https://www.atlantis-press.com/article/25868633.pdf","source":{"id":"https://openalex.org/S190680769","display_name":"International Journal of Computational Intelligence Systems","issn_l":"1875-6883","issn":["1875-6883","1875-6891"],"is_oa":true,"is_in_doaj":true,"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.atlantis-press.com/article/25868633.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101655008","display_name":"Xiaoyan Qin","orcid":"https://orcid.org/0000-0002-8694-4824"},"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"]},{"id":"https://openalex.org/I94310126","display_name":"Shanxi Normal University","ror":"https://ror.org/03zd3ta61","country_code":"CN","type":"education","lineage":["https://openalex.org/I94310126"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoyan Qin","raw_affiliation_strings":["College of Mathematics and Computer Science, Shanxi Normal University, No. 1 of Gongyuan Road, Linfen, Shanxi Province 041004, P.R.China","Intelligent Control Development Center, Southwest Jiaotong University, NO.111 of the North Second Ring Road , Chengdu, Sichuan Province 610031, P.R.China"],"affiliations":[{"raw_affiliation_string":"Intelligent Control Development Center, Southwest Jiaotong University, NO.111 of the North Second Ring Road , Chengdu, Sichuan Province 610031, P.R.China","institution_ids":["https://openalex.org/I4800084"]},{"raw_affiliation_string":"College of Mathematics and Computer Science, Shanxi Normal University, No. 1 of Gongyuan Road, Linfen, Shanxi Province 041004, P.R.China","institution_ids":["https://openalex.org/I94310126"]}]},{"author_position":"middle","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":true,"raw_author_name":"Yang Xu","raw_affiliation_strings":["Intelligent Control Development Center, Southwest Jiaotong University, NO.111 of the North Second Ring Road , Chengdu, Sichuan Province 610031, P.R.China"],"affiliations":[{"raw_affiliation_string":"Intelligent Control Development Center, Southwest Jiaotong University, NO.111 of the North Second Ring Road , Chengdu, Sichuan Province 610031, P.R.China","institution_ids":["https://openalex.org/I4800084"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100330428","display_name":"Yi Liu","orcid":"https://orcid.org/0000-0001-5304-235X"},"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":"Yi Liu","raw_affiliation_strings":["Intelligent Control Development Center, Southwest Jiaotong University, NO.111 of the North Second Ring Road , Chengdu, Sichuan Province 610031, P.R.China"],"affiliations":[{"raw_affiliation_string":"Intelligent Control Development Center, Southwest Jiaotong University, NO.111 of the North Second Ring Road , Chengdu, Sichuan Province 610031, P.R.China","institution_ids":["https://openalex.org/I4800084"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5014490044"],"corresponding_institution_ids":["https://openalex.org/I4800084"],"apc_list":{"value":1390,"currency":"GBP","value_usd":1704,"provenance":"doaj"},"apc_paid":{"value":1390,"currency":"GBP","value_usd":1704,"provenance":"doaj"},"fwci":0.0,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":66},"biblio":{"volume":"8","issue":"5","first_page":"829","last_page":"829"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9995,"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.9995,"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.9987,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.998,"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/predicate-variable","display_name":"Predicate variable","score":0.5976978},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5897747},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.5694206},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.47830302},{"id":"https://openalex.org/keywords/predicate-logic","display_name":"Predicate logic","score":0.4389785},{"id":"https://openalex.org/keywords/proposition","display_name":"Proposition","score":0.42797002},{"id":"https://openalex.org/keywords/atomic-formula","display_name":"Atomic formula","score":0.41510582}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7684895},{"id":"https://openalex.org/C73314972","wikidata":"https://www.wikidata.org/wiki/Q10531432","display_name":"Predicate variable","level":5,"score":0.5976978},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5897747},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.5694206},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.47830302},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.44893324},{"id":"https://openalex.org/C19689857","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"Predicate logic","level":3,"score":0.4389785},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.4300922},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.42797002},{"id":"https://openalex.org/C203264685","wikidata":"https://www.wikidata.org/wiki/Q2328174","display_name":"Atomic formula","level":2,"score":0.41510582},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.14892125},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.14517498},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10027781},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.057545483},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.0527893},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1080/18756891.2015.1063245","pdf_url":"https://www.atlantis-press.com/article/25868633.pdf","source":{"id":"https://openalex.org/S190680769","display_name":"International Journal of Computational Intelligence Systems","issn_l":"1875-6883","issn":["1875-6883","1875-6891"],"is_oa":true,"is_in_doaj":true,"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":false,"landing_page_url":"https://doaj.org/article/649eb8f78d334eaa92b0cf75e5057723","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1080/18756891.2015.1063245","pdf_url":"https://www.atlantis-press.com/article/25868633.pdf","source":{"id":"https://openalex.org/S190680769","display_name":"International Journal of Computational Intelligence Systems","issn_l":"1875-6883","issn":["1875-6883","1875-6891"],"is_oa":true,"is_in_doaj":true,"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.41,"display_name":"Reduced inequalities"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":33,"referenced_works":["https://openalex.org/W1516153826","https://openalex.org/W1532122496","https://openalex.org/W1951431556","https://openalex.org/W1966321785","https://openalex.org/W1970371591","https://openalex.org/W1983317597","https://openalex.org/W1991804617","https://openalex.org/W2008797076","https://openalex.org/W2024161033","https://openalex.org/W2029818776","https://openalex.org/W2034468068","https://openalex.org/W2035359036","https://openalex.org/W2036025487","https://openalex.org/W2036966583","https://openalex.org/W2043222187","https://openalex.org/W2055586839","https://openalex.org/W2057010793","https://openalex.org/W2061996498","https://openalex.org/W2069687967","https://openalex.org/W2079097576","https://openalex.org/W2082092951","https://openalex.org/W2085629401","https://openalex.org/W2090633363","https://openalex.org/W2094746159","https://openalex.org/W2110182592","https://openalex.org/W2122322633","https://openalex.org/W2498912203","https://openalex.org/W2914754927","https://openalex.org/W359462364","https://openalex.org/W4206828130","https://openalex.org/W4211144022","https://openalex.org/W4255034261","https://openalex.org/W744883346"],"related_works":["https://openalex.org/W4372046866","https://openalex.org/W4285136097","https://openalex.org/W4255610615","https://openalex.org/W4234338253","https://openalex.org/W4147469","https://openalex.org/W2913260702","https://openalex.org/W2479875366","https://openalex.org/W2134288141","https://openalex.org/W155019843","https://openalex.org/W1518138802"],"abstract_inverted_index":{"By":[0],"means":[1],"of":[2,5,10,15,22,37,60,75,92],"infinite":[3],"product":[4],"uniformly":[6],"distributed":[7],"probability":[8],"spaces":[9],"cardinal":[11],"n,":[12,79],"the":[13,33,41,54,61,76,86,93],"concept":[14],"n-validity":[16,55],"degrees":[17],"and":[18,80],"validity":[19,34,87],"degree":[20,35,56,88],"vectors":[21,36],"formulae":[23,38],"in":[24,98],"two-valued":[25],"predicate":[26,69],"logic":[27],"are":[28],"introduced.It":[29],"is":[30,49,73,81],"proved":[31],"that":[32,53],"can":[39],"preserve":[40],"logical":[42],"relation":[43],"between":[44],"formulae.Moreover,":[45],"a":[46,82],"consistency":[47],"theorem":[48],"obtained":[50],"which":[51],"says":[52],"\u03c4":[57],"n":[58],"(A)":[59],"quantifierfree":[62],"first-order":[63],"formula":[64],"A":[65,96],"without":[66],"any":[67],"repeated":[68],"symbols":[70],"or":[71],"terms":[72],"independent":[74],"natural":[77],"number":[78],"constant":[83],"equal":[84],"to":[85],"\u03c4(A":[89],"0":[90,97],")":[91],"corresponding":[94],"proposition":[95],"classical":[99],"propositional":[100],"logic.":[101]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W826102642","counts_by_year":[],"updated_date":"2024-12-10T18:35:02.103085","created_date":"2016-06-24"}