{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T05:02:04Z","timestamp":1698037324242},"reference-count":7,"publisher":"Wiley","issue":"5","license":[{"start":{"date-parts":[[2007,3,21]],"date-time":"2007-03-21T00:00:00Z","timestamp":1174435200000},"content-version":"vor","delay-in-days":6653,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Systems &amp;amp; Computers in Japan"],"published-print":{"date-parts":[[1989,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Aristotle's (Categorical) Syllogism is a logic system in which a new proposition is derived from several propositions stating the relation among \u201cterms\u201d (corresponding to common nouns). It can directly treat a term itself, and has a unique character different from predicate logic where its semantics is constructed based on \u201cindividuals\u201d. Therefore, syllogism has several advantages as a logic system for processing a general knowledge such as one expressed by a natural language. However, the expressive ability of classical syllogism is poor. In particular, it can treat only atomic terms as primitive objects. Previously, we proposed an extended syllogistic system with the term operator of conjunction. This paper is a further extension of that system. We introduce a syllogistic system which can treat compound terms produced by using the term operators of conjunction, disjunction and complementation. A set of axioms and an arithmetic interpretation for this system are given, and its completeness is proved.<\/jats:p>","DOI":"10.1002\/scj.4690200508","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T17:37:11Z","timestamp":1183829831000},"page":"80-95","source":"Crossref","is-referenced-by-count":0,"title":["An extended syllogistic system with conjunctive and complementary terms, and its completeness proof"],"prefix":"10.1002","volume":"20","author":[{"given":"Noritaka","family":"Nishihara","sequence":"first","affiliation":[]},{"given":"Kenichi","family":"Morita","sequence":"additional","affiliation":[]}],"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","unstructured":"I.Thomas.CS(n): Eine Erweiterung von CS. Dominican Studies 2 pp.145\u2013160(1949)."},{"key":"e_1_2_1_4_2","article-title":"Representation of Japanese sentences and syllogistic reasoning in the framework of tuple logic","volume":"54","author":"Morita K.","year":"1986","journal-title":"Tech. Rep. Nat. Language Proc., Inf. Proc. Soc. 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"},{"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"},{"key":"e_1_2_1_8_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"}],"container-title":["Systems and Computers in Japan"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fscj.4690200508","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/scj.4690200508","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T12:59:27Z","timestamp":1697979567000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/scj.4690200508"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,1]]},"references-count":7,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1989,1]]}},"alternative-id":["10.1002\/scj.4690200508"],"URL":"https:\/\/doi.org\/10.1002\/scj.4690200508","archive":["Portico"],"relation":{},"ISSN":["0882-1666","1520-684X"],"issn-type":[{"value":"0882-1666","type":"print"},{"value":"1520-684X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,1]]}}}