CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS

DOI10.1017/S1755020314000409zbMath1347.03099MaRDI QIDQ3195588

Rohan French, David Ripley

Publication date: 20 October 2015

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

contractive relativemultiplicative-additive affine logicnoncontractive relation

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Related Items (3)

Contraction, infinitary quantifiers, and omega paradoxes ⋮ On structural contraction and why it fails ⋮ Proof theory for functional modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• Logical consequence and the paradoxes
• Residuated lattices. An algebraic glimpse at substructural logics
• An axiomatic approach to self-referential truth
• Permutability of proofs in intuitionistic sequent calculi
• Substructural logics: a primer
• Logic without contraction as based on inclusion and unrestricted abstraction
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• TRUTH WITHOUT CONTRA(DI)CTION
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
• Proof and Paradox

This page was built for publication: CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS