Structural weakening and paradoxes

DOI10.1215/00294527-2021-0018OpenAlexW3170455933MaRDI QIDQ1982021

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)

Related Items

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

Cites Work

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