Contraction, infinitary quantifiers, and omega paradoxes

DOI10.1007/S10992-017-9441-2zbMATH Open1436.03143OpenAlexW2623826822MaRDI QIDQ1670488FDOQ1670488

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

substructural logictruthparadoxesinfinitary 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)

Cites Work

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

Cited In (13)

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

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

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