CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS
Rohan French, David Ripley · The Review of Symbolic Logic · 2014
Abstract Some theorists have developed formal approaches to truth that depend on counterexamples to the structural rules ofcontraction. 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, ormaalt.