{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T19:32:01Z","timestamp":1770233521355,"version":"3.49.0"},"reference-count":8,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2007,3,21]],"date-time":"2007-03-21T00:00:00Z","timestamp":1174435200000},"content-version":"vor","delay-in-days":6288,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Systems &amp; Computers in Japan"],"published-print":{"date-parts":[[1990,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Syllogism (Aristotle's categorical syllogism) is a logic scheme which can describe derivation relations of propositions stating relations among quantified \u201cterms\u201d (corresponding to common nouns). In this system, relations of the terms are treated directly, while in predicate logic they are decomposed into relations among individual objects. Therefore, syllogism has several advantages in describing the meanings of a natural language in a formal framework of a logic system. However, the expressive ability of classical syllogism is poor in that it can treat only a proposition corresponding to a sentence whose predicate is \u201cbe\u201d + noun (i.e., \u201cis\u2010a\u201d sentence) and cannot treat a sentence with a general verb (or \u201cbe\u201d + adjective) in its predicate (we call it a verb sentence). Furthermore, terms in classical syllogism are only those corresponding to common nouns, and thus proper nouns, which cannot be quantified, are excluded.<\/jats:p>","DOI":"10.1002\/scj.4690210110","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T18:36:48Z","timestamp":1183833408000},"page":"96-111","source":"Crossref","is-referenced-by-count":4,"title":["An extended syllogistic system with verbs and proper nouns, and its completeness proof"],"prefix":"10.1002","volume":"21","author":[{"family":"Noritaka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Kenichi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Shigenori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2007,3,21]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"Aristotle's Syllogistic","author":"Lukasiewicz J.","year":"1951"},{"key":"e_1_2_1_3_2","article-title":"An extension of the syllogistic system for verb\u2010proposition","volume":"87","author":"Iwata S.","year":"1987","journal-title":"Tech. Rep. I.E.I.C.E., Japan"},{"key":"e_1_2_1_4_2","article-title":"A reasoning method based on an extended syllogistic system which can deal with Japanese sentences with general verbs","volume":"87","author":"Kubo T.","year":"1987","journal-title":"Tech. Rep. I.E.I.C.E., Japan"},{"issue":"2","key":"e_1_2_1_5_2","first-page":"405","article-title":"An efficient reasoning method for syllogism and its application to knowledge processing","volume":"70","author":"Morita K.","year":"1987","journal-title":"Trans. I.E.I.C.E., Japan"},{"key":"e_1_2_1_5_3","doi-asserted-by":"publisher","DOI":"10.1002\/scj.4690190303"},{"issue":"12","key":"e_1_2_1_6_2","first-page":"2640","article-title":"An extension of the syllogistic system for conjunctive terms","volume":"70","author":"Nishihara N.","year":"1987","journal-title":"Trans. I.E.I.C.E., Japan"},{"issue":"12","key":"e_1_2_1_7_2","first-page":"2647","article-title":"Completeness of the extended syllogistic system LC with conjunctive terms","volume":"70","author":"Nishihara N.","year":"1987","journal-title":"Trans. I.E.I.C.E., Japan"},{"issue":"4","key":"e_1_2_1_8_2","first-page":"693","article-title":"An extended syllogistic system with conjunctive, disjunctive and complementary terms, and its completeness proof","volume":"71","author":"Nishihara N.","journal-title":"Trans. I.E.I.C.E., Japan"}],"container-title":["Systems and Computers in Japan"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fscj.4690210110","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/scj.4690210110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T07:04:37Z","timestamp":1697958277000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/scj.4690210110"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,1]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1990,1]]}},"alternative-id":["10.1002\/scj.4690210110"],"URL":"https:\/\/doi.org\/10.1002\/scj.4690210110","archive":["Portico"],"relation":{},"ISSN":["0882-1666","1520-684X"],"issn-type":[{"value":"0882-1666","type":"print"},{"value":"1520-684X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,1]]}}}