{"id":"https://openalex.org/W2085569555","doi":"https://doi.org/10.1002/scj.4690200508","title":"An extended syllogistic system with conjunctive and complementary terms, and its completeness proof","display_name":"An extended syllogistic system with conjunctive and complementary terms, and its completeness proof","publication_year":1989,"publication_date":"1989-01-01","ids":{"openalex":"https://openalex.org/W2085569555","doi":"https://doi.org/10.1002/scj.4690200508","mag":"2085569555"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690200508","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690200508","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/A5047928243","display_name":"Noritaka Nishihara","orcid":null},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"Osaka University","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Noritaka Nishihara","raw_affiliation_strings":["Faculty of Engineering Science, Osaka University, Toyonaka, Japan 560","Noritaka Nishihara graduated in 1982 from Dept. Biophys. Eng., Fac. Eng. Sci., Osaka University, and obtained a Dr. of Eng. degree from there in 1988. He was a Research Assistant in 1988 in the Dept. Inf. Eng., Fac. Eng., Yamagata University, and is engaged in research on natural language processing and logic for knowledge processing. He is a member of Inf. Proc. Soc. Jap.; LA (Languages and Automata) Symp.; and AI. Soc. Japan","LA (Languages and Automata) Symp","AI. Soc. Japan","Noritaka Nishihara graduated in 1982 from Dept. Biophys. Eng., Fac. Eng. Sci., Osaka University, and obtained a Dr. of Eng. degree from there in 1988. He was a Research Assistant in 1988 in the Dept. Inf. Eng., Fac. Eng., Yamagata University, and is engaged in research on natural language processing and logic for knowledge processing. He is a member of Inf. Proc. Soc. Jap"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering Science, Osaka University, Toyonaka, Japan 560","institution_ids":["https://openalex.org/I98285908"]},{"raw_affiliation_string":"Noritaka Nishihara graduated in 1982 from Dept. Biophys. Eng., Fac. Eng. Sci., Osaka University, and obtained a Dr. of Eng. degree from there in 1988. He was a Research Assistant in 1988 in the Dept. Inf. Eng., Fac. Eng., Yamagata University, and is engaged in research on natural language processing and logic for knowledge processing. He is a member of Inf. Proc. Soc. Jap.; LA (Languages and Automata) Symp.; and AI. Soc. Japan","institution_ids":[]},{"raw_affiliation_string":"LA (Languages and Automata) Symp","institution_ids":[]},{"raw_affiliation_string":"AI. Soc. Japan","institution_ids":[]},{"raw_affiliation_string":"Noritaka Nishihara graduated in 1982 from Dept. Biophys. Eng., Fac. Eng. Sci., Osaka University, and obtained a Dr. of Eng. degree from there in 1988. He was a Research Assistant in 1988 in the Dept. Inf. Eng., Fac. Eng., Yamagata University, and is engaged in research on natural language processing and logic for knowledge processing. He is a member of Inf. Proc. Soc. Jap","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019242250","display_name":"Kenichi Morita","orcid":"https://orcid.org/0000-0002-9833-0539"},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"Osaka University","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]},{"id":"https://openalex.org/I112524849","display_name":"Yamagata University","ror":"https://ror.org/00xy44n04","country_code":"JP","type":"education","lineage":["https://openalex.org/I112524849"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kenichi Morita","raw_affiliation_strings":["Faculty of Engineering, Yamagata University, Yonezawa, Japan 992","Kenichi Morita graduated in 1971 from Dept. Biophys. Eng., Fac. Eng. Sci., Osaka University, where he has a Master's degree (1973) and later a Dr. of Eng. degree. He was a Research Assistant in 1974 in the Dept. Biophys. Eng., Osaka University, and Associate Professor in 1987 in the Dept. Inf. Eng., Fac. Eng., Yamagata University. He is engaged in research on theory of automaton, theory of computational complexity, theory of formal language and logical representation of knowledge. He is a member of the Inf. Proc. Soc., Japan; LA (Languages and Automata) Symp.; Math. Linguistic Soc., Japan; AI. Soc., Japan; and ACL","Math. Linguistic Soc., Japan","AI. Soc., Japan","LA (Languages and Automata) Symp","Kenichi Morita graduated in 1971 from Dept. Biophys. Eng., Fac. Eng. Sci., Osaka University, where he has a Master's degree (1973) and later a Dr. of Eng. degree. He was a Research Assistant in 1974 in the Dept. Biophys. Eng., Osaka University, and Associate Professor in 1987 in the Dept. Inf. Eng., Fac. Eng., Yamagata University. He is engaged in research on theory of automaton, theory of computational complexity, theory of formal language and logical representation of knowledge. He is a member of the Inf. Proc. Soc., Japan"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Yamagata University, Yonezawa, Japan 992","institution_ids":["https://openalex.org/I112524849"]},{"raw_affiliation_string":"Kenichi Morita graduated in 1971 from Dept. Biophys. Eng., Fac. Eng. Sci., Osaka University, where he has a Master's degree (1973) and later a Dr. of Eng. degree. He was a Research Assistant in 1974 in the Dept. Biophys. Eng., Osaka University, and Associate Professor in 1987 in the Dept. Inf. Eng., Fac. Eng., Yamagata University. He is engaged in research on theory of automaton, theory of computational complexity, theory of formal language and logical representation of knowledge. He is a member of the Inf. Proc. Soc., Japan; LA (Languages and Automata) Symp.; Math. Linguistic Soc., Japan; AI. Soc., Japan; and ACL","institution_ids":[]},{"raw_affiliation_string":"Math. Linguistic Soc., Japan","institution_ids":[]},{"raw_affiliation_string":"AI. Soc., Japan","institution_ids":[]},{"raw_affiliation_string":"LA (Languages and Automata) Symp","institution_ids":[]},{"raw_affiliation_string":"Kenichi Morita graduated in 1971 from Dept. Biophys. Eng., Fac. Eng. Sci., Osaka University, where he has a Master's degree (1973) and later a Dr. of Eng. degree. He was a Research Assistant in 1974 in the Dept. Biophys. Eng., Osaka University, and Associate Professor in 1987 in the Dept. Inf. Eng., Fac. Eng., Yamagata University. He is engaged in research on theory of automaton, theory of computational complexity, theory of formal language and logical representation of knowledge. He is a member of the Inf. Proc. Soc., Japan","institution_ids":["https://openalex.org/I98285908","https://openalex.org/I112524849"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5047928243"],"corresponding_institution_ids":["https://openalex.org/I98285908"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17303847,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"20","issue":"5","first_page":"80","last_page":"95"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9934999942779541,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9934999942779541,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9764000177383423,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9695000052452087,"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.8258161544799805},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5947643518447876},{"id":"https://openalex.org/keywords/atomic-sentence","display_name":"Atomic sentence","score":0.5776591300964355},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.5580927133560181},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.46238958835601807},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.45419836044311523},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44996896386146545},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.44965577125549316},{"id":"https://openalex.org/keywords/conjunction","display_name":"Conjunction (astronomy)","score":0.4172174632549286},{"id":"https://openalex.org/keywords/sentence","display_name":"Sentence","score":0.36041298508644104},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3418129086494446},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30477917194366455},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.27342185378074646},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.18866431713104248},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.14094990491867065}],"concepts":[{"id":"https://openalex.org/C131598440","wikidata":"https://www.wikidata.org/wiki/Q107342","display_name":"Syllogism","level":2,"score":0.8258161544799805},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5947643518447876},{"id":"https://openalex.org/C34849589","wikidata":"https://www.wikidata.org/wiki/Q4345785","display_name":"Atomic sentence","level":3,"score":0.5776591300964355},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5580927133560181},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46238958835601807},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.45419836044311523},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44996896386146545},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.44965577125549316},{"id":"https://openalex.org/C59656382","wikidata":"https://www.wikidata.org/wiki/Q191536","display_name":"Conjunction (astronomy)","level":2,"score":0.4172174632549286},{"id":"https://openalex.org/C2777530160","wikidata":"https://www.wikidata.org/wiki/Q41796","display_name":"Sentence","level":2,"score":0.36041298508644104},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3418129086494446},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30477917194366455},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.27342185378074646},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.18866431713104248},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.14094990491867065},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690200508","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690200508","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":[{"id":"https://metadata.un.org/sdg/1","score":0.44999998807907104,"display_name":"No poverty"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W1971400715","https://openalex.org/W2921632628"],"related_works":["https://openalex.org/W2358878837","https://openalex.org/W2348729074","https://openalex.org/W2096992842","https://openalex.org/W2897866277","https://openalex.org/W2362026785","https://openalex.org/W2353234699","https://openalex.org/W2378553216","https://openalex.org/W2754091035","https://openalex.org/W2462900308","https://openalex.org/W4248329638"],"abstract_inverted_index":{"Abstract":[0],"Aristotle's":[1],"(Categorical)":[2],"Syllogism":[3],"is":[4,13,46,80,108,152],"a":[5,10,31,36,57,62,70,109,117],"logic":[6,42,58],"system":[7,59,99,119,146],"in":[8],"which":[9,120],"new":[11],"proposition":[12],"derived":[14],"from":[15,40],"several":[16,54],"propositions":[17],"stating":[18],"the":[19,74,101,128],"relation":[20],"among":[21],"\u201cterms\u201d":[22],"(corresponding":[23],"to":[24],"common":[25],"nouns).":[26],"It":[27],"can":[28,85,121],"directly":[29],"treat":[30,86,122],"term":[32,102,129],"itself,":[33],"and":[34,134,140,149],"has":[35,53],"unique":[37],"character":[38],"different":[39],"predicate":[41],"where":[43],"its":[44,150],"semantics":[45],"constructed":[47],"based":[48],"on":[49],"\u201cindividuals\u201d.":[50],"Therefore,":[51],"syllogism":[52,79],"advantages":[55],"as":[56,66,90],"for":[60,144],"processing":[61],"general":[63],"knowledge":[64],"such":[65],"one":[67],"expressed":[68],"by":[69,126],"natural":[71],"language.":[72],"However,":[73],"expressive":[75],"ability":[76],"of":[77,104,112,131,138],"classical":[78],"poor.":[81],"In":[82],"particular,":[83],"it":[84],"only":[87],"atomic":[88],"terms":[89,124],"primitive":[91],"objects.":[92],"Previously,":[93],"we":[94],"proposed":[95],"an":[96,141],"extended":[97],"syllogistic":[98,118],"with":[100],"operator":[103],"conjunction.":[105],"This":[106],"paper":[107],"further":[110],"extension":[111],"that":[113],"system.":[114],"We":[115],"introduce":[116],"compound":[123],"produced":[125],"using":[127],"operators":[130],"conjunction,":[132],"disjunction":[133],"complementation.":[135],"A":[136],"set":[137],"axioms":[139],"arithmetic":[142],"interpretation":[143],"this":[145],"are":[147],"given,":[148],"completeness":[151],"proved.":[153]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}