{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T10:40:02Z","timestamp":1747219202318,"version":"3.40.5"},"reference-count":35,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,12,18]],"date-time":"2014-12-18T00:00:00Z","timestamp":1418860800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2015,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Some theorists have developed formal approaches to truth that depend on counterexamples to the structural rules of<jats:italic>contraction<\/jats:italic>. Here, we study such approaches, with an eye to helping them respond to a certain kind of objection. We define a contractive relative of each noncontractive relation, for use in responding to the objection in question, and we explore one example: the contractive relative of multiplicative-additive affine logic with transparent truth, or<jats:sc>maalt<\/jats:sc>.<\/jats:p>","DOI":"10.1017\/s1755020314000409","type":"journal-article","created":{"date-parts":[[2014,12,18]],"date-time":"2014-12-18T20:57:42Z","timestamp":1418936262000},"page":"506-528","source":"Crossref","is-referenced-by-count":7,"title":["CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS"],"prefix":"10.1017","volume":"8","author":[{"given":"ROHAN","family":"FRENCH","sequence":"first","affiliation":[]},{"given":"DAVID","family":"RIPLEY","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,12,18]]},"reference":[{"key":"S1755020314000409_ref33","doi-asserted-by":"publisher","DOI":"10.1111\/j.1746-8361.1982.tb00820.x"},{"key":"S1755020314000409_ref1","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199268733.001.0001"},{"key":"S1755020314000409_ref35","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020311000177"},{"key":"S1755020314000409_ref15","unstructured":"McCune W . (2005\u20132010). Prover9 and Mace4. Available from http:\/\/www.cs.unm.edu\/\u223cmccune\/prover9\/."},{"key":"S1755020314000409_ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(87)90073-X"},{"key":"S1755020314000409_ref29","unstructured":"Ripley D . (2014). Uncut (working title). Ms."},{"key":"S1755020314000409_ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00138-8"},{"volume-title":"On Logics Without Contraction","year":"1994","author":"Restall","key":"S1755020314000409_ref24"},{"key":"S1755020314000409_ref32","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-9213.2010.678.x"},{"key":"S1755020314000409_ref12","first-page":"1","article-title":"Permutability of inferences in Gentzen\u2019s calculi LK and LJ","volume":"10","author":"Kleene","year":"1952","journal-title":"Memoirs of the American Mathematical Society"},{"key":"S1755020314000409_ref20","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199263301.001.0001"},{"volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","year":"2007","author":"Galatos","key":"S1755020314000409_ref8"},{"key":"S1755020314000409_ref9","first-page":"68","volume-title":"The Collected Papers of Gerhard Gentzen","author":"Gentzen","year":"1969"},{"key":"S1755020314000409_ref3","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/fzt110"},{"key":"S1755020314000409_ref34","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1093\/oso\/9780199287116.003.0014","volume-title":"Deflationism and Paradox","author":"Weir","year":"2005"},{"key":"S1755020314000409_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-013-9268-4"},{"key":"S1755020314000409_ref6","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199230747.001.0001"},{"key":"S1755020314000409_ref22","doi-asserted-by":"publisher","DOI":"10.1007\/BF00374033"},{"key":"S1755020314000409_ref11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511921049"},{"key":"S1755020314000409_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BF00247954"},{"key":"S1755020314000409_ref2","doi-asserted-by":"publisher","DOI":"10.5840\/jphil2013110336"},{"key":"S1755020314000409_ref26","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020312000056"},{"key":"S1755020314000409_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s11098-005-7777-x"},{"key":"S1755020314000409_ref27","doi-asserted-by":"publisher","DOI":"10.1080\/00048402.2011.630010"},{"key":"S1755020314000409_ref25","doi-asserted-by":"publisher","DOI":"10.4324\/9780203252642"},{"key":"S1755020314000409_ref16","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/39.3.124"},{"key":"S1755020314000409_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-3179-9"},{"key":"S1755020314000409_ref21","doi-asserted-by":"publisher","DOI":"10.1017\/S0031819109990489"},{"key":"S1755020314000409_ref19","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005293713265"},{"key":"S1755020314000409_ref4","volume-title":"Combinatory Logic","volume":"1","author":"Curry","year":"1958"},{"key":"S1755020314000409_ref28","first-page":"1","article-title":"Revising up: Strengthening classical logic in the face of paradox","volume":"13","author":"Ripley","year":"2013","journal-title":"Philosophers\u2019 Imprint"},{"key":"S1755020314000409_ref10","doi-asserted-by":"publisher","DOI":"10.1070\/IM1982v018n01ABEH001382"},{"key":"S1755020314000409_ref23","doi-asserted-by":"crossref","unstructured":"Priest G . (forthcoming). Fusion and Confusion. Topoi.","DOI":"10.1007\/s11245-013-9175-x"},{"key":"S1755020314000409_ref30","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199653850.001.0001"},{"key":"S1755020314000409_ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-011-9910-z"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020314000409","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T10:17:33Z","timestamp":1747217853000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020314000409\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,18]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,9]]}},"alternative-id":["S1755020314000409"],"URL":"https:\/\/doi.org\/10.1017\/s1755020314000409","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"type":"print","value":"1755-0203"},{"type":"electronic","value":"1755-0211"}],"subject":[],"published":{"date-parts":[[2014,12,18]]}}}