Noncontractive classical logic

DOI10.1215/00294527-2019-0020MaRDI QIDQ2295733zbMATH OpenOpenAlexFDO

Authors 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

paradoxessubstructural logictruth

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)

Recommendations

• On structural contraction and why it fails
• Truth without contra(di)ction
• Logical consequence and the paradoxes
• Conservatively extending classical logic with transparent truth
• Contractions of noncontractive consequence relations

Cites work

• -inconsistency without cuts and nonstandard models
• A note on contraction-free logic for validity
• An introduction to non-classical logic. From if to is
• Anything goes
• Conservatively extending classical logic with transparent truth
• Contraction, infinitary quantifiers, and omega paradoxes
• How a semantics for tonk should be
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• Logical consequence and the paradoxes
• Naive structure, contraction and paradox
• Non-classical elegance for sequent calculus enthusiasts
• On structural contraction and why it fails
• Outline of a Theory of Truth
• Positive abstraction and extensionality
• Saving truth from paradox
• Structural proof theory. With an appendix by Aarne Ranta
• Truth without contra(di)ction

Cited in

(16)

• \(\mathrm{IKT}^\omega\) and Łukasiewicz-models
• Structural weakening and paradoxes
• Paraconsistent metatheory: new proofs with old tools
• Towards a non-classical meta-theory for substructural approaches to paradox
• A hierarchy of classical and paraconsistent logics
• On structural contraction and why it fails
• Conditions for the applicability of classical logic in the framework of languages of nonclassical logics
• Contractions of noncontractive consequence relations
• scientific article; zbMATH DE number 1348455 (Why is no real title available?)
• Logical consequence and the paradoxes
• scientific article; zbMATH DE number 859800 (Why is no real title available?)
• (I can't get no) antisatisfaction
• (Meta)inferential levels of entailment beyond the Tarskian paradigm
• Metainferentially substructural validity theories
• Paradoxicality without paradox
• Semidisquotation and the infinitary function of truth

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Noncontractive classical logic

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