Structural weakening and paradoxes

DOI10.1215/00294527-2021-0018OpenAlexW3170455933MaRDI QIDQ1982021FDOQ1982021

Bruno Da Ré

Publication date: 7 September 2021

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2021-0018

zbMATH Keywords

semantic paradoxessubstructural logicstheories of truthweakening

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other applications of logic (03B80) Proof theory and constructive mathematics (03F99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The logic of paradox
• Substructural logics: a primer
• The logics of strict-tolerant logic
• Conservatively extending classical logic with transparent truth
• TRUTH WITHOUT CONTRA(DI)CTION
• What is a Paraconsistent Logic?
• Tolerant, classical, strict
• Outline of a Theory of Truth
• Logical consequence and the paradoxes
• Untersuchungen über das logische Schliessen. II
• NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES
• Assertion, Denial and Non-classical Theories
• Linear logic
• MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
• Paths to triviality
• NAIVE SET THEORY AND NONTRANSITIVE LOGIC
• Simple consequence relations
• Contraction, infinitary quantifiers, and omega paradoxes
• HOW A SEMANTICS FOR TONK SHOULD BE
• A note on contraction-free logic for validity
• A New Unified Account of Truth and Paradox
• Principles for object-linguistic consequence: from logical to irreflexive
• Core Logic
• Naive structure, contraction and paradox
• Noncontractive classical logic
• A NOTE ON THE CUT-ELIMINATION PROOF IN “TRUTH WITHOUT CONTRA(DI)CTION”

Cited In (4)

• (I can't get no) antisatisfaction
• The final cut
• Editorial introduction: substructural logics and metainferences
• Systems for non-reflexive consequence

This page was built for publication: Structural weakening and paradoxes

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