Contraction, infinitary quantifiers, and omega paradoxes
From MaRDI portal
Publication:1670488
Recommendations
Cites work
- scientific article; zbMATH DE number 1497485 (Why is no real title available?)
- An Introduction to Gödel's Theorems
- Axiomatic theories of truth
- Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
- Contractions of noncontractive consequence relations
- Curry's paradox and \(\omega \)-inconsistency
- Cut Elimination in the Presence of Axioms
- How truthlike can a predicate be? A negative result
- Linear logic
- Logical consequence and the paradoxes
- Logical paradoxes for many-valued systems
- Naive structure, contraction and paradox
- Naive truth and naive logical properties
- Restriction by noncontraction
- Storage Operators and Multiplicative Quantifiers in Many-valued Logics
- Substructural logics: a primer
- Theories of truth without standard models and Yablo's sequences
- Truth without contra(di)ction
- \(\omega\)-inconsistency without cuts and nonstandard models
Cited in
(13)- Curry's paradox and \(\omega \)-inconsistency
- A note on the cut-elimination proof in ``Truth without contra(di)ction
- Noncontractive classical logic
- Disjoint logics
- Systems for non-reflexive consequence
- On structural contraction and why it fails
- Structural weakening and paradoxes
- Towards a non-classical meta-theory for substructural approaches to paradox
- Disquotation and infinite conjunctions
- scientific article; zbMATH DE number 3265727 (Why is no real title available?)
- \(\mathrm{IKT}^\omega\) and Łukasiewicz-models
- ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS
- Cut elimination for systems of transparent truth with restricted initial sequents
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)
