Noncontractive classical logic

DOI10.1215/00294527-2019-0020zbMath1472.03020OpenAlexW2971785330MaRDI QIDQ2295733

Lucas Rosenblatt

Publication date: 14 February 2020

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

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1567735227

zbMATH Keywords

paradoxestruthsubstructural logic

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)

Related Items

Paraconsistent metatheory: new proofs with old tools ⋮ (I can't get no) antisatisfaction ⋮ (Meta)inferential levels of entailment beyond the Tarskian paradigm ⋮ \(\mathrm{IKT}^\omega\) and Łukasiewicz-models ⋮ Structural weakening and paradoxes ⋮ Towards a non-classical meta-theory for substructural approaches to paradox ⋮ A hierarchy of classical and paraconsistent logics

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logical consequence and the paradoxes
• Non-classical elegance for sequent calculus enthusiasts
• Contraction, infinitary quantifiers, and omega paradoxes
• Anything goes
• A note on contraction-free logic for validity
• Naive structure, contraction and paradox
• On structural contraction and why it fails
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• Positive abstraction and extensionality
• HOW A SEMANTICS FOR TONK SHOULD BE
• TRUTH WITHOUT CONTRA(DI)CTION
• Outline of a Theory of Truth