{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,12,20]],"date-time":"2023-12-20T00:47:22Z","timestamp":1703033242547},"reference-count":11,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T00:00:00Z","timestamp":1658188800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2023,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Certain instances of contraction are provable in Zardini\u2019s system <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"png\" xlink:href=\"S1755020322000284_inline1.png\" \/><jats:tex-math>\n$\\mathbf {IK}^\\omega $\n<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula> which causes triviality once a truth predicate and suitable fixed points are available.<\/jats:p>","DOI":"10.1017\/s1755020322000284","type":"journal-article","created":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T09:15:51Z","timestamp":1658222151000},"page":"1110-1119","update-policy":"http:\/\/dx.doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":2,"title":["ON ZARDINI\u2019S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS"],"prefix":"10.1017","volume":"16","author":[{"given":"UWE","family":"PETERSEN","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2022,7,19]]},"reference":[{"key":"S1755020322000284_r9","doi-asserted-by":"publisher","DOI":"10.2307\/2267648"},{"key":"S1755020322000284_r2","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-017-9441-2"},{"key":"S1755020322000284_r7","volume-title":"Diagonal Method and Dialectical Logic. Tools, Materials, and Groundworks for a Logical Foundation of Dialectic and Speculative Philosophy","author":"Petersen","year":"2002"},{"key":"S1755020322000284_r6","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005293713265"},{"key":"S1755020322000284_r10","volume-title":"Proof Theory","volume":"81","author":"Takeuti","year":"1987"},{"key":"S1755020322000284_r8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-66473-1"},{"key":"S1755020322000284_r4","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020319000571"},{"key":"S1755020322000284_r11","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020311000177"},{"key":"S1755020322000284_r1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-012-9373-3"},{"key":"S1755020322000284_r5","doi-asserted-by":"publisher","DOI":"10.1215\/00294527-2021-0012"},{"key":"S1755020322000284_r3","doi-asserted-by":"publisher","DOI":"10.1002\/tht3.382"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020322000284","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,20]],"date-time":"2023-12-20T00:00:12Z","timestamp":1703030412000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020322000284\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,19]]},"references-count":11,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,12]]}},"alternative-id":["S1755020322000284"],"URL":"https:\/\/doi.org\/10.1017\/s1755020322000284","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,7,19]]},"assertion":[{"value":"\u00a9 The Author(s), 2022. Published by Cambridge University Press on behalf of The Association for Symbolic Logic","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}