{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T16:19:49Z","timestamp":1706113189991},"reference-count":3,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":20830,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1957,3]]},"abstract":"<jats:p>Faris [1] presents a system for non-void classes employing four primitive functors with another defined, and based on ten asserted and eleven rejected axioms, with a special rule of rejection analogous to S\u0142upecki's for the syllogistic. Primitive functors are here reduced to three, axioms are simplified, and it is shown that the system is decidable by the easier syllogistic means, e.g. the tabular method of Thomas [3].<\/jats:p><jats:p>From the theses (original numbering to the right with axioms starred)<\/jats:p><jats:p><jats:disp-formula><jats:graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" orientation=\"portrait\" mime-subtype=\"gif\" mimetype=\"image\" position=\"float\" xlink:type=\"simple\" xlink:href=\"S0022481200070602_eqnU1\" \/><\/jats:disp-formula><\/jats:p><jats:p>we can deduce<\/jats:p><jats:p><jats:disp-formula><jats:graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" orientation=\"portrait\" mime-subtype=\"gif\" mimetype=\"image\" position=\"float\" xlink:type=\"simple\" xlink:href=\"S0022481200070602_eqnU2\" \/><\/jats:disp-formula><\/jats:p>","DOI":"10.2307\/2964053","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T15:47:42Z","timestamp":1146930462000},"page":"15-16","source":"Crossref","is-referenced-by-count":1,"title":["Eulerian syllogistic"],"prefix":"10.1017","volume":"22","author":[{"given":"Ivo","family":"Thomas","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200070602_ref003","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/LXI.244.564"},{"key":"S0022481200070602_ref001","first-page":"207","volume":"20","author":"Faris","year":"1955","journal-title":"The Gergonne relations"},{"key":"S0022481200070602_ref002","first-page":"141","volume-title":"Aristotle's syllogistic","author":"\u0141ukasiewicz","year":"1952"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200070602","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T00:51:19Z","timestamp":1559868679000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200070602\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1957,3]]},"references-count":3,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1957,3]]}},"alternative-id":["S0022481200070602"],"URL":"https:\/\/doi.org\/10.2307\/2964053","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1957,3]]}}}