{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T08:40:00Z","timestamp":1693471200560},"reference-count":0,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":23446,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1950,1]]},"abstract":"<jats:p>In this note we present a simplification of the axiom schemes which were given in our earlier paper <jats:italic>Axiom schemes for m-valued propositional calculi<\/jats:italic>. Except for new concepts that are needed for our present purposes, the terminology used will be the same as that introduced in the earlier paper. Hence, we can say that in addition to listing our simplified specifications for axiom schemes, we shall indicate how our new axiom schemes may be used to establish deductive completeness.<\/jats:p><jats:p>The simplification of our axiom schemes is achieved by using only the operators \u2283 and <jats:italic>J<jats:sub>k<\/jats:sub><\/jats:italic>( ) with the resulting elimination of \u2228 and \u00b7. This does not constitute an actual reduction in functional complexity since the latter operators can be denned in terms of the former. For example,<\/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=\"S0022481200105043_eqnU1\" \/><\/jats:disp-formula><\/jats:p><jats:p>However, by dispensing with \u2228 and \u00b7 one can greatly reduce the number of axioms without an appreciable increase in the difficulties of proving deductive completeness.<\/jats:p><jats:p>Our simplified specifications for axiom schemes will retain conditions (1) and (3) of our earlier set but (2) and (4) will be changed to (2*) and (4*) which we will now state.<\/jats:p><jats:p>(2*) Assume that an implication function (P \u2283 Q) can be defined exclusively in terms of the basic functions <jats:italic>F<jats:sub>i<\/jats:sub><\/jats:italic>(P<jats:sub>1<\/jats:sub>, \u2026:, P<jats:sub>\u03b1i<\/jats:sub>).<\/jats:p><jats:p>The statement of what follows is simplified by introducing <jats:italic>a chain symbol<\/jats:italic><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200105043_inline1\" \/> defined recursively as follows:<\/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=\"S0022481200105043_eqnU2\" \/><\/jats:disp-formula><\/jats:p><jats:p>The variable <jats:italic>i<\/jats:italic> of a chain symbol which takes values from <jats:italic>u<\/jats:italic> to <jats:italic>v<\/jats:italic> will be called <jats:italic>the chain variable<\/jats:italic>. When it is clear that <jats:italic>i<\/jats:italic> is the chain variable we will use the notation <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200105043_inline2\" \/> in place of <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200105043_inline1\" \/>. Hence, <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200105043_inline3\" \/> denotes (P<jats:sub>5<\/jats:sub> \u2283 (P<jats:sub>4<\/jats:sub> \u2283 (P<jats:sub>3<\/jats:sub> \u2283 Q))).<\/jats:p>","DOI":"10.2307\/2269229","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T15:07:57Z","timestamp":1146928077000},"page":"219-225","source":"Crossref","is-referenced-by-count":2,"title":["A note on the deductive completeness of <i>m<\/i>-valued propositional calculi"],"prefix":"10.1017","volume":"14","author":[{"given":"J. B.","family":"Rosser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. R.","family":"Turquette","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200105043","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T06:23:59Z","timestamp":1559975039000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200105043\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1950,1]]},"references-count":0,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1950,1]]}},"alternative-id":["S0022481200105043"],"URL":"https:\/\/doi.org\/10.2307\/2269229","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1950,1]]}}}