Contractions of noncontractive consequence relations

DOI10.1017/S1755020314000409MaRDI QIDQ3195588zbMATH OpenFDO

Authors Rohan French, David Ripley

Publication date 20 October 2015

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

Full work available at URL https://doi.org/10.1017/S1755020314000409

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)

Recommendations

• On structural contraction and why it fails
• Non-conditional contracting connectives
• Contraction and revision
• Noncontractive classical logic
• Contracting logics

Cites work

• An axiomatic approach to self-referential truth
• Axiomatic theories of truth
• Conservatively extending classical logic with transparent truth
• Logic without contraction as based on inclusion and unrestricted abstraction
• Logical consequence and the paradoxes
• Permutability of proofs in intuitionistic sequent calculi
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
• Proof and Paradox
• Residuated lattices. An algebraic glimpse at substructural logics
• Saving truth from paradox
• Substructural logics: a primer
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• Truth without contra(di)ction

Cited in

(10)

• Contraction, infinitary quantifiers, and omega paradoxes
• Proof theory for functional modal logic
• Noncontractive classical logic
• Contraction in propositional logic
• Non-conditional contracting connectives
• On structural contraction and why it fails
• Contraction and revision
• On a preorder relation for contractions
• scientific article; zbMATH DE number 611091 (Why is no real title available?)
• Non-contractability and revenge

This page was built for publication: Contractions of noncontractive consequence relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3195588)