{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,17]],"date-time":"2023-09-17T19:42:06Z","timestamp":1694979726916},"reference-count":2,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2018,7,4]],"date-time":"2018-07-04T00:00:00Z","timestamp":1530662400000},"content-version":"vor","delay-in-days":3,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2018,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>An answer to the following question is presented: given a proof <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/malq201700004-math-0001.png\" xlink:title=\"urn:x-wiley:09425616:media:malq201700004:malq201700004-math-0001\" \/> in classical propositional logic, for what small set of propositional variables <jats:italic>p<\/jats:italic> does it suffice to add all the formulae <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/malq201700004-math-0002.png\" xlink:title=\"urn:x-wiley:09425616:media:malq201700004:malq201700004-math-0002\" \/> to \u0393 in order to intuitionistically prove <jats:italic>A<\/jats:italic>? This answer is an improvement of Ishihara's result for some cases.<\/jats:p>","DOI":"10.1002\/malq.201700004","type":"journal-article","created":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T05:29:38Z","timestamp":1530768578000},"page":"183-184","update-policy":"http:\/\/dx.doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A note on decidability of variables in intuitionistic propositional logic"],"prefix":"10.1002","volume":"64","author":[{"given":"Katsumasa","family":"Ishii","sequence":"first","affiliation":[{"name":"6\u20103\u2010201, Miyasaka 2\u2010chome, Setagaya\u2010ku Tokyo 156\u20100051 Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2018,7,4]]},"reference":[{"key":"e_1_2_3_2_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-10(3:1)2014"},{"key":"e_1_2_3_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511527340"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.201700004","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.201700004","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,17]],"date-time":"2023-09-17T19:24:55Z","timestamp":1694978695000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.201700004"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":2,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,7]]}},"alternative-id":["10.1002\/malq.201700004"],"URL":"https:\/\/doi.org\/10.1002\/malq.201700004","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,7]]},"assertion":[{"value":"2017-01-20","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-09-16","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-07-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}