{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T23:09:36Z","timestamp":1765667376757,"version":"3.40.5"},"reference-count":25,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2022,5,11]],"date-time":"2022-05-11T00:00:00Z","timestamp":1652227200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"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>We present a series of proof systems for exact entailment (i.e., relevant truthmaker preservation from premises to conclusion) and prove soundness and completeness. Using the proof systems, we observe that exact entailment is hyperintensional not only in the sense of Cresswell, but also in the sense recently proposed by Odintsov and Wansing.<\/jats:p>","DOI":"10.1017\/s175502032200020x","type":"journal-article","created":{"date-parts":[[2022,5,11]],"date-time":"2022-05-11T10:45:33Z","timestamp":1652265933000},"page":"1260-1295","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":3,"title":["PROOF SYSTEMS FOR EXACT ENTAILMENT"],"prefix":"10.1017","volume":"16","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9947-4825","authenticated-orcid":false,"given":"JOHANNES","family":"KORBMACHER","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2022,5,11]]},"reference":[{"doi-asserted-by":"publisher","key":"S175502032200020X_r8","DOI":"10.5840\/jphil201210938"},{"doi-asserted-by":"publisher","key":"S175502032200020X_r10","DOI":"10.1111\/1746-8361.12068"},{"doi-asserted-by":"publisher","key":"S175502032200020X_r12","DOI":"10.1007\/s10992-016-9413-y"},{"doi-asserted-by":"publisher","key":"S175502032200020X_r6","DOI":"10.1007\/s10988-019-09279-2"},{"doi-asserted-by":"publisher","key":"S175502032200020X_r9","DOI":"10.1017\/CBO9781139149136.002"},{"doi-asserted-by":"publisher","key":"S175502032200020X_r4","DOI":"10.1017\/S1755020315000258"},{"volume-title":"The Stanford Encyclopedia of Philosophy","author":"Berto","key":"S175502032200020X_r3"},{"doi-asserted-by":"publisher","key":"S175502032200020X_r16","DOI":"10.1017\/S1755020318000059"},{"doi-asserted-by":"publisher","key":"S175502032200020X_r20","DOI":"10.1007\/s10992-019-09533-9"},{"doi-asserted-by":"publisher","key":"S175502032200020X_r15","DOI":"10.1017\/S175502031700020X"},{"doi-asserted-by":"publisher","key":"S175502032200020X_r21","DOI":"10.1007\/s10992-018-9467-0"},{"key":"S175502032200020X_r22","first-page":"67","volume-title":"Logic in High Definition. Trends in Logical Semantics","author":"Leitgeb","year":"2020"},{"doi-asserted-by":"publisher","key":"S175502032200020X_r24","DOI":"10.1002\/malq.19940400109"},{"doi-asserted-by":"publisher","key":"S175502032200020X_r5","DOI":"10.1007\/BF02314421"},{"doi-asserted-by":"publisher","key":"S175502032200020X_r11","DOI":"10.1007\/s10992-015-9371-9"},{"doi-asserted-by":"publisher","key":"S175502032200020X_r1","DOI":"10.1007\/s11225-019-09862-5"},{"key":"S175502032200020X_r2","first-page":"16","volume-title":"Deontic Logic and Normative Systems. 13 th International Conference, DEON 2016, Bayeruth, Germany, July 18\u201321, 2016","author":"Anglberger","year":"2016"},{"doi-asserted-by":"publisher","key":"S175502032200020X_r14","DOI":"10.1002\/9781118972090.ch22"},{"doi-asserted-by":"publisher","key":"S175502032200020X_r13","DOI":"10.1007\/s10992-016-9419-5"},{"key":"S175502032200020X_r19","article-title":"Propositions as truthmaker conditions","volume":"4","author":"Jago","year":"2017","journal-title":"Argumentation"},{"doi-asserted-by":"publisher","key":"S175502032200020X_r23","DOI":"10.1007\/s10992-020-09558-5"},{"doi-asserted-by":"publisher","key":"S175502032200020X_r18","DOI":"10.1093\/jigpal\/5.3.1-e"},{"doi-asserted-by":"publisher","key":"S175502032200020X_r17","DOI":"10.1017\/S1755020318000151"},{"doi-asserted-by":"publisher","key":"S175502032200020X_r25","DOI":"10.2307\/2024563"},{"doi-asserted-by":"publisher","key":"S175502032200020X_r7","DOI":"10.1007\/s11229-012-0094-y"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S175502032200020X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,20]],"date-time":"2023-12-20T00:00:04Z","timestamp":1703030404000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S175502032200020X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,11]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,12]]}},"alternative-id":["S175502032200020X"],"URL":"https:\/\/doi.org\/10.1017\/s175502032200020x","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"type":"print","value":"1755-0203"},{"type":"electronic","value":"1755-0211"}],"subject":[],"published":{"date-parts":[[2022,5,11]]},"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"}},{"value":"This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https:\/\/creativecommons.org\/licenses\/by\/4.0\/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.","name":"license","label":"License","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}