{"id":"https://openalex.org/W996616032","doi":"https://doi.org/10.1007/978-3-642-23881-9_77","title":"The Predicate Formal System Based on 1-Level Universal AND Operator","display_name":"The Predicate Formal System Based on 1-Level Universal AND Operator","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W996616032","doi":"https://doi.org/10.1007/978-3-642-23881-9_77","mag":"996616032"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-23881-9_77","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-23881-9_77","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","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/A5037796664","display_name":"Yingcang Ma","orcid":"https://orcid.org/0000-0002-3356-7535"},"institutions":[{"id":"https://openalex.org/I17145004","display_name":"Northwestern Polytechnical University","ror":"https://ror.org/01y0j0j86","country_code":"CN","type":"education","lineage":["https://openalex.org/I17145004"]},{"id":"https://openalex.org/I27599042","display_name":"Xi'an Polytechnic University","ror":"https://ror.org/03442p831","country_code":"CN","type":"education","lineage":["https://openalex.org/I27599042"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ying-cang Ma","raw_affiliation_strings":["School of Electronics and information, Northwestern Polytechnical University, Xi\u2019an, China","School of Science, Xi\u2019an Polytechnic University, Xi\u2019an, China","School of Electronics and information, Northwestern Polytechnical University, Xi'an, China","School of Science, Xi'an Polytechnic University, Xi'an, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electronics and information, Northwestern Polytechnical University, Xi\u2019an, China","institution_ids":["https://openalex.org/I17145004"]},{"raw_affiliation_string":"School of Science, Xi\u2019an Polytechnic University, Xi\u2019an, China","institution_ids":["https://openalex.org/I27599042"]},{"raw_affiliation_string":"School of Electronics and information, Northwestern Polytechnical University, Xi'an, China","institution_ids":["https://openalex.org/I17145004"]},{"raw_affiliation_string":"School of Science, Xi'an Polytechnic University, Xi'an, China","institution_ids":["https://openalex.org/I27599042"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043382749","display_name":"Xuezhen Dai","orcid":null},"institutions":[{"id":"https://openalex.org/I27599042","display_name":"Xi'an Polytechnic University","ror":"https://ror.org/03442p831","country_code":"CN","type":"education","lineage":["https://openalex.org/I27599042"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xue-zhen Dai","raw_affiliation_strings":["School of Science, Xi\u2019an Polytechnic University, Xi\u2019an, China","School of Science, Xi'an Polytechnic University, Xi'an, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Science, Xi\u2019an Polytechnic University, Xi\u2019an, China","institution_ids":["https://openalex.org/I27599042"]},{"raw_affiliation_string":"School of Science, Xi'an Polytechnic University, Xi'an, China","institution_ids":["https://openalex.org/I27599042"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04146464,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"601","last_page":"608"},"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.9987000226974487,"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.9986000061035156,"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","display_name":"Predicate (mathematical logic)","score":0.6154871582984924},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.6024067401885986},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5908211469650269},{"id":"https://openalex.org/keywords/predicate-logic","display_name":"Predicate logic","score":0.49621492624282837},{"id":"https://openalex.org/keywords/formal-system","display_name":"Formal system","score":0.4933072626590729},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4892394542694092},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.48250603675842285},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4454635679721832},{"id":"https://openalex.org/keywords/quantifier","display_name":"Quantifier (linguistics)","score":0.4124603569507599},{"id":"https://openalex.org/keywords/predicate-variable","display_name":"Predicate variable","score":0.41130828857421875},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3877478241920471},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.367228627204895},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30002325773239136},{"id":"https://openalex.org/keywords/zeroth-order-logic","display_name":"Zeroth-order logic","score":0.2437233030796051},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.10503596067428589},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10021248459815979}],"concepts":[{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.6154871582984924},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.6024067401885986},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5908211469650269},{"id":"https://openalex.org/C19689857","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"Predicate logic","level":3,"score":0.49621492624282837},{"id":"https://openalex.org/C102315432","wikidata":"https://www.wikidata.org/wiki/Q649732","display_name":"Formal system","level":2,"score":0.4933072626590729},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4892394542694092},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.48250603675842285},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4454635679721832},{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.4124603569507599},{"id":"https://openalex.org/C73314972","wikidata":"https://www.wikidata.org/wiki/Q10531432","display_name":"Predicate variable","level":5,"score":0.41130828857421875},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3877478241920471},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.367228627204895},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30002325773239136},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.2437233030796051},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.10503596067428589},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10021248459815979},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-642-23881-9_77","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-23881-9_77","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41999998688697815,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W204727130","https://openalex.org/W1983382657","https://openalex.org/W1983433712","https://openalex.org/W1998257928","https://openalex.org/W2018957484","https://openalex.org/W2082093772","https://openalex.org/W2088311098","https://openalex.org/W2110182592","https://openalex.org/W2136484228","https://openalex.org/W2158848143","https://openalex.org/W2164429865","https://openalex.org/W2170241436","https://openalex.org/W2238512101","https://openalex.org/W2238824626","https://openalex.org/W2366241528","https://openalex.org/W2375760600","https://openalex.org/W2385213452","https://openalex.org/W2475594644","https://openalex.org/W2501322436","https://openalex.org/W3142828167","https://openalex.org/W4234672050","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4147469","https://openalex.org/W2479875366","https://openalex.org/W1518138802","https://openalex.org/W4372046866","https://openalex.org/W4255610615","https://openalex.org/W4285136097","https://openalex.org/W4234338253","https://openalex.org/W2134288141","https://openalex.org/W4210561599","https://openalex.org/W4312122294"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}