Contractions of noncontractive consequence relations

Rohan French, David Ripley

Research output: Contribution to journalArticleResearchpeer-review

6 Citations (Scopus)

Abstract

Some theorists have developed formal approaches to truth that depend on counterexamples to the structural rules of contraction. 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 maalt.

Original languageEnglish
Pages (from-to)506-528
Number of pages23
JournalReview of Symbolic Logic
Volume8
Issue number3
DOIs
Publication statusPublished - 18 Nov 2014

Cite this