{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T20:53:28Z","timestamp":1649019208669},"reference-count":10,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":16956,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1967,10,9]]},"abstract":"<jats:p>At the Princeton Bicentennial in 1946 Tarski posed the question as to whether or not certain problems connected with partial propositional calculi were recursively solvable. Since that time the specific problems mentioned by Tarski as well as a number of related problems have been shown to be recursively unsolvable. Such results are due to Post and Linial [5], Yntema [9], Gladstone [2], Ihrig [3] and Singletary [7], [8].<\/jats:p>","DOI":"10.2307\/2270777","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T16:41:37Z","timestamp":1146933697000},"page":"352-354","source":"Crossref","is-referenced-by-count":2,"title":["A note on finite axiomatization of partial propositional calculi"],"prefix":"10.1017","volume":"32","author":[{"given":"W. E.","family":"Singletary","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200113064_ref002","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1965-0175750-9"},{"key":"S0022481200113064_ref007","first-page":"30","article-title":"Untersuchungen \u00fcber den Assagenkalk\u00fcl","volume":"23","author":"Lukasiewicz","year":"1930","journal-title":"Comptes Rendus des S\u00e9ances de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie"},{"key":"S0022481200113064_ref010","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093957737"},{"key":"S0022481200113064_ref001","volume-title":"Introduction to mathematical logic","volume":"1","author":"Church","year":"1956"},{"key":"S0022481200113064_ref005","volume-title":"Introduction to metamathematics","author":"Kleene","year":"1952"},{"key":"S0022481200113064_ref003","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s3-14.4.595"},{"key":"S0022481200113064_ref006","first-page":"50","article-title":"Recursive unsolvability of the deducibility, Tarsk's completeness and independence of axioms problems of the propositional calculus","volume":"55","author":"Linial","year":"1949","journal-title":"Bulletin of the American Mathematical Society"},{"key":"S0022481200113064_ref008","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1964-11038-7"},{"key":"S0022481200113064_ref004","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093958077"},{"key":"S0022481200113064_ref009","unstructured":"Singletary W. E. , Doctoral Dissertation, University of Illinois, Urbana, Ill., 1964."}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200113064","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T15:45:41Z","timestamp":1559490341000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200113064\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1967,10,9]]},"references-count":10,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1967,10,9]]}},"alternative-id":["S0022481200113064"],"URL":"https:\/\/doi.org\/10.2307\/2270777","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1967,10,9]]}}}