Contraction, infinitary quantifiers, and omega paradoxes

DOI10.1007/S10992-017-9441-2zbMath1436.03143OpenAlexW2623826822MaRDI QIDQ1670488

Lucas Rosenblatt, Bruno Da Ré

Publication date: 5 September 2018

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-017-9441-2

zbMATH Keywords

paradoxestruthsubstructural logicinfinitary quantifiers

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (10)

Systems for non-reflexive consequence ⋮ ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS ⋮ On structural contraction and why it fails ⋮ \(\mathrm{IKT}^\omega\) and Łukasiewicz-models ⋮ Structural weakening and paradoxes ⋮ Towards a non-classical meta-theory for substructural approaches to paradox ⋮ Noncontractive classical logic ⋮ A NOTE ON THE CUT-ELIMINATION PROOF IN “TRUTH WITHOUT CONTRA(DI)CTION” ⋮ Cut elimination for systems of transparent truth with restricted initial sequents ⋮ Disjoint Logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Restriction by noncontraction
• Curry's paradox and \(\omega \)-inconsistency
• Logical consequence and the paradoxes
• Linear logic
• Theories of truth without standard models and Yablo's sequences
• How truthlike can a predicate be? A negative result
• Substructural logics: a primer
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Naive structure, contraction and paradox
• NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES
• CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS
• TRUTH WITHOUT CONTRA(DI)CTION
• An Introduction to Gödel's Theorems
• Cut Elimination in the Presence of Axioms
• Storage Operators and Multiplicative Quantifiers in Many-valued Logics
• Logical paradoxes for many-valued systems

This page was built for publication: Contraction, infinitary quantifiers, and omega paradoxes