{"id":"https://openalex.org/W2085992406","doi":"https://doi.org/10.1002/scj.4690210110","title":"An extended syllogistic system with verbs and proper nouns, and its completeness proof","display_name":"An extended syllogistic system with verbs and proper nouns, and its completeness proof","publication_year":1990,"publication_date":"1990-01-01","ids":{"openalex":"https://openalex.org/W2085992406","doi":"https://doi.org/10.1002/scj.4690210110","mag":"2085992406"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690210110","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690210110","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","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/A5097230704","display_name":"Noritaka","orcid":null},"institutions":[{"id":"https://openalex.org/I112524849","display_name":"Yamagata University","ror":"https://ror.org/00xy44n04","country_code":"JP","type":"education","lineage":["https://openalex.org/I112524849"]},{"id":"https://openalex.org/I4210156110","display_name":"Sosei Group (Japan)","ror":"https://ror.org/042tf0p61","country_code":"JP","type":"company","lineage":["https://openalex.org/I4210156110"]},{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Noritaka","raw_affiliation_strings":["Dept. Biophys. Eng., Fac. Eng. Sci., Osaka University, Japan","Noritaka Nishinara Graduated in 1982 form the Dept. Biophys.Eng., Fac. Sci., Osaka University, and Obtained a Dr.of Eng degree form there in 1988. He became a Research Assistant in 1988 in the Dept. Inf.Fac,.Eng., Yamagata University.He is engaged in research on natural language processing and logis for knowledge processing. He si a member of Proc. Soc., Japan; LA (Langages and Automata) Symp; and AI Soc,. japan","AI Soc,. japan","LA (Langages and Automata) Symp","Noritaka Nishinara Graduated in 1982 form the Dept. Biophys.Eng., Fac. Sci., Osaka University, and Obtained a Dr.of Eng degree form there in 1988. He became a Research Assistant in 1988 in the Dept. Inf.Fac,.Eng., Yamagata University.He is engaged in research on natural language processing and logis for knowledge processing. He si a member of Proc. Soc., Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. Biophys. Eng., Fac. Eng. Sci., Osaka University, Japan","institution_ids":["https://openalex.org/I98285908"]},{"raw_affiliation_string":"Noritaka Nishinara Graduated in 1982 form the Dept. Biophys.Eng., Fac. Sci., Osaka University, and Obtained a Dr.of Eng degree form there in 1988. He became a Research Assistant in 1988 in the Dept. Inf.Fac,.Eng., Yamagata University.He is engaged in research on natural language processing and logis for knowledge processing. He si a member of Proc. Soc., Japan; LA (Langages and Automata) Symp; and AI Soc,. japan","institution_ids":["https://openalex.org/I98285908"]},{"raw_affiliation_string":"AI Soc,. japan","institution_ids":["https://openalex.org/I4210156110"]},{"raw_affiliation_string":"LA (Langages and Automata) Symp","institution_ids":[]},{"raw_affiliation_string":"Noritaka Nishinara Graduated in 1982 form the Dept. Biophys.Eng., Fac. Sci., Osaka University, and Obtained a Dr.of Eng degree form there in 1988. He became a Research Assistant in 1988 in the Dept. Inf.Fac,.Eng., Yamagata University.He is engaged in research on natural language processing and logis for knowledge processing. He si a member of Proc. Soc., Japan","institution_ids":["https://openalex.org/I112524849","https://openalex.org/I98285908"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111406813","display_name":"Kenichi","orcid":null},"institutions":[{"id":"https://openalex.org/I112524849","display_name":"Yamagata University","ror":"https://ror.org/00xy44n04","country_code":"JP","type":"education","lineage":["https://openalex.org/I112524849"]},{"id":"https://openalex.org/I2801607516","display_name":"Associated Press","ror":"https://ror.org/0231jxj79","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I2801607516"]}],"countries":["JP","US"],"is_corresponding":false,"raw_author_name":"Kenichi","raw_affiliation_strings":["Faculty of Engineering, Yamagata University, Yonezawa, Japan 992","Shigenorit Iwata graduated in 1985 form the Dept, Biophys. Eng., Fac. Eng. Sci,. Osaka University, and obtained a Master's degree form there in 1987, Presently, he is in the doctoral program where he is engaged in research on logics for natural languaged prodcessing and man-machine interface. He is a member of Inf. proc. Soc., japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Yamagata University, Yonezawa, Japan 992","institution_ids":["https://openalex.org/I112524849"]},{"raw_affiliation_string":"Shigenorit Iwata graduated in 1985 form the Dept, Biophys. Eng., Fac. Eng. Sci,. Osaka University, and obtained a Master's degree form there in 1987, Presently, he is in the doctoral program where he is engaged in research on logics for natural languaged prodcessing and man-machine interface. He is a member of Inf. proc. Soc., japan","institution_ids":["https://openalex.org/I2801607516"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5097258664","display_name":"Shigenori","orcid":null},"institutions":[{"id":"https://openalex.org/I2800584635","display_name":"College of Southern Maryland","ror":"https://ror.org/03tkh4446","country_code":"US","type":"education","lineage":["https://openalex.org/I2800584635"]},{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP","US"],"is_corresponding":false,"raw_author_name":"Shigenori","raw_affiliation_strings":["Faculty of Engineering Science, Osaka University, Toyonaka, Japan 560","Kenichi Morita graduated in 1985 form the Dept. Biophys. Eng., Fac. Eng. Sci,. Osaka University, and obtined a Master's degree from there in 1973, and has a Dr. of Eng. degree. He was a Research Assistant in 1974 in the Dept. Biophys. Eng., Osaka University. He is engaged in Prefessor on theory of automaton, thory of comptational comopleity, theory of formal language, and lagical representation of knowledge. He is a member of Inf. Proc., Japan; LA (Languages and Automata) Symp.; Math. Linguistic Soc., Japan; AI Soc., Japan; and ACL","AI Soc., Japan","Kenichi Morita graduated in 1985 form the Dept. Biophys. Eng., Fac. Eng. Sci,. Osaka University, and obtined a Master's degree from there in 1973, and has a Dr. of Eng. degree. He was a Research Assistant in 1974 in the Dept. Biophys. Eng., Osaka University. He is engaged in Prefessor on theory of automaton, thory of comptational comopleity, theory of formal language, and lagical representation of knowledge. He is a member of Inf. Proc., Japan","LA (Languages and Automata) Symp","Math. Linguistic Soc., Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering Science, Osaka University, Toyonaka, Japan 560","institution_ids":["https://openalex.org/I98285908"]},{"raw_affiliation_string":"Kenichi Morita graduated in 1985 form the Dept. Biophys. Eng., Fac. Eng. Sci,. Osaka University, and obtined a Master's degree from there in 1973, and has a Dr. of Eng. degree. He was a Research Assistant in 1974 in the Dept. Biophys. Eng., Osaka University. He is engaged in Prefessor on theory of automaton, thory of comptational comopleity, theory of formal language, and lagical representation of knowledge. He is a member of Inf. Proc., Japan; LA (Languages and Automata) Symp.; Math. Linguistic Soc., Japan; AI Soc., Japan; and ACL","institution_ids":["https://openalex.org/I98285908"]},{"raw_affiliation_string":"AI Soc., Japan","institution_ids":[]},{"raw_affiliation_string":"Kenichi Morita graduated in 1985 form the Dept. Biophys. Eng., Fac. Eng. Sci,. Osaka University, and obtined a Master's degree from there in 1973, and has a Dr. of Eng. degree. He was a Research Assistant in 1974 in the Dept. Biophys. Eng., Osaka University. He is engaged in Prefessor on theory of automaton, thory of comptational comopleity, theory of formal language, and lagical representation of knowledge. He is a member of Inf. Proc., Japan","institution_ids":["https://openalex.org/I98285908"]},{"raw_affiliation_string":"LA (Languages and Automata) Symp","institution_ids":["https://openalex.org/I2800584635"]},{"raw_affiliation_string":"Math. Linguistic Soc., Japan","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":35,"citation_normalized_percentile":{"value":0.16760709,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":"21","issue":"1","first_page":"96","last_page":"111"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9646999835968018,"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.9646999835968018,"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.9581000208854675,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/syllogism","display_name":"Syllogism","score":0.8026530742645264},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.6611964702606201},{"id":"https://openalex.org/keywords/sentence","display_name":"Sentence","score":0.6364566087722778},{"id":"https://openalex.org/keywords/noun","display_name":"Noun","score":0.6302616596221924},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.5306196212768555},{"id":"https://openalex.org/keywords/atomic-sentence","display_name":"Atomic sentence","score":0.5297001004219055},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.49661189317703247},{"id":"https://openalex.org/keywords/proposition","display_name":"Proposition","score":0.48951756954193115},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.48731788992881775},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.474944144487381},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.44254499673843384},{"id":"https://openalex.org/keywords/inverted-sentence","display_name":"Inverted sentence","score":0.43280327320098877},{"id":"https://openalex.org/keywords/adjective","display_name":"Adjective","score":0.4226565957069397},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3767695724964142},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.1985437273979187},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12853699922561646}],"concepts":[{"id":"https://openalex.org/C131598440","wikidata":"https://www.wikidata.org/wiki/Q107342","display_name":"Syllogism","level":2,"score":0.8026530742645264},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.6611964702606201},{"id":"https://openalex.org/C2777530160","wikidata":"https://www.wikidata.org/wiki/Q41796","display_name":"Sentence","level":2,"score":0.6364566087722778},{"id":"https://openalex.org/C121934690","wikidata":"https://www.wikidata.org/wiki/Q1084","display_name":"Noun","level":2,"score":0.6302616596221924},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.5306196212768555},{"id":"https://openalex.org/C34849589","wikidata":"https://www.wikidata.org/wiki/Q4345785","display_name":"Atomic sentence","level":3,"score":0.5297001004219055},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49661189317703247},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.48951756954193115},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.48731788992881775},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.474944144487381},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.44254499673843384},{"id":"https://openalex.org/C95930697","wikidata":"https://www.wikidata.org/wiki/Q6060544","display_name":"Inverted sentence","level":3,"score":0.43280327320098877},{"id":"https://openalex.org/C2777683214","wikidata":"https://www.wikidata.org/wiki/Q34698","display_name":"Adjective","level":3,"score":0.4226565957069397},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3767695724964142},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.1985437273979187},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12853699922561646},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690210110","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690210110","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W1971400715","https://openalex.org/W2083013860","https://openalex.org/W2921632628"],"related_works":["https://openalex.org/W2348729074","https://openalex.org/W2362026785","https://openalex.org/W2353234699","https://openalex.org/W2096992842","https://openalex.org/W2462900308","https://openalex.org/W2383572507","https://openalex.org/W2378553216","https://openalex.org/W2754091035","https://openalex.org/W2377185541","https://openalex.org/W1590941378"],"abstract_inverted_index":{"Abstract":[0],"Syllogism":[1],"(Aristotle's":[2],"categorical":[3],"syllogism)":[4],"is":[5,75,91],"a":[6,57,61,65,83,87,101,104,117],"logic":[7,38,66],"scheme":[8],"which":[9,136],"can":[10,80],"describe":[11],"derivation":[12],"relations":[13,17,28,43],"of":[14,29,56,64,72],"propositions":[15],"stating":[16],"among":[18,44],"quantified":[19],"\u201cterms\u201d":[20],"(corresponding":[21],"to":[22,86,129],"common":[23,130],"nouns).":[24],"In":[25],"this":[26],"system,":[27],"the":[30,54,69],"terms":[31,121],"are":[32,40,125,140],"treated":[33],"directly,":[34],"while":[35],"in":[36,52,60,77,111,122],"predicate":[37,90,113],"they":[39],"decomposed":[41],"into":[42],"individual":[45],"objects.":[46],"Therefore,":[47],"syllogism":[48,74,124],"has":[49],"several":[50],"advantages":[51],"describing":[53],"meanings":[55],"natural":[58],"language":[59],"formal":[62],"framework":[63],"system.":[67],"However,":[68],"expressive":[70],"ability":[71],"classical":[73,123],"poor":[76],"that":[78],"it":[79,116],"treat":[81,100],"only":[82,126],"proposition":[84],"corresponding":[85,128],"sentence":[88,102],"whose":[89],"\u201cbe\u201d":[92,108],"+":[93,109],"noun":[94],"(i.e.,":[95],"\u201cis\u2010a\u201d":[96],"sentence)":[97],"and":[98,132],"cannot":[99,137],"with":[103],"general":[105],"verb":[106,118],"(or":[107],"adjective)":[110],"its":[112],"(we":[114],"call":[115],"sentence).":[119],"Furthermore,":[120],"those":[127],"nouns,":[131,135],"thus":[133],"proper":[134],"be":[138],"quantified,":[139],"excluded.":[141]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":20},{"year":2018,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}