Article contents
CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS
Published online by Cambridge University Press: 18 December 2014
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2014
References
BIBLIOGRAPHY
- 7
- Cited by