Author:
FRENCH ROHAN,RIPLEY DAVID
Abstract
AbstractSome 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.
Publisher
Cambridge University Press (CUP)
Subject
Logic,Philosophy,Mathematics (miscellaneous)
Reference35 articles.
1. Proof and Paradox
2. Spandrels of Truth
3. TRUTH WITHOUT CONTRA(DI)CTION
4. McCune W . (2005–2010). Prover9 and Mace4. Available from http://www.cs.unm.edu/∼mccune/prover9/.
5. An axiomatic approach to self-referential truth
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Backmatter;Paradoxes and Inconsistent Mathematics;2021-10-21
2. Index;Paradoxes and Inconsistent Mathematics;2021-10-21
3. Bibliography;Paradoxes and Inconsistent Mathematics;2021-10-21
4. Ordinary Paradox;Paradoxes and Inconsistent Mathematics;2021-10-21
5. Why Are There Paradoxes?;Paradoxes and Inconsistent Mathematics;2021-10-21