{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T08:41:12Z","timestamp":1649148072158},"reference-count":5,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":23638,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1949,6,23]]},"abstract":"<jats:title>1. The problem<\/jats:title><jats:p>In this paper we give the complete list of the functions of one variable with some of their properties, and lists of functions corresponding to various properties of sum, product, implication, and equivalence. The range of the variables as well as that of functional values will be \u043e (false), \u00bd, 1 (true). As an application we consider Frege's, Russell's and Heyting's systems in ternary logic. The proofs are mostly omitted as obvious if sometimes laborious.<\/jats:p><jats:p>Functions will be denned by matrices: e.g. <jats:italic>F(p, q)<\/jats:italic><\/jats:p>","DOI":"10.2307\/2266508","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T19:05:25Z","timestamp":1146942325000},"page":"85-94","source":"Crossref","is-referenced-by-count":2,"title":["On ternary logic"],"prefix":"10.1017","volume":"14","author":[{"given":"Paul","family":"Dienes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200072637_ref002","first-page":"144","volume-title":"Philosophic foundations of quantum mechanics","author":"Reichenbach","year":"1944"},{"key":"S0022481200072637_ref001","first-page":"30","volume-title":"Comptes rendus des s\u00e9ances de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie","volume":"23","author":"\u0141ukasiewicz","year":"1930"},{"key":"S0022481200072637_ref005","first-page":"58","volume-title":"VI Philosophie des math\u00e9matiques","author":"Stanis\u0142aw","year":"1936"},{"key":"S0022481200072637_ref004","first-page":"1934","volume-title":"Ergebnisse der Mathematik","volume":"3","author":"Arend"},{"key":"S0022481200072637_ref003","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-41928-1"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200072637","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T10:31:49Z","timestamp":1559989909000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200072637\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1949,6,23]]},"references-count":5,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1949,6,23]]}},"alternative-id":["S0022481200072637"],"URL":"https:\/\/doi.org\/10.2307\/2266508","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1949,6,23]]}}}