A note on contraction-free logic for validity

DOI10.1007/S11245-014-9241-ZMaRDI QIDQ1708464zbMATH OpenOpenAlexFDO

Authors Colin R. Caret, Zach Weber

Publication date 23 March 2018

Published in Topoi (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11245-014-9241-z

zbMATH Keywords

Curry's paradoxsubstructural logic

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other nonclassical logic (03B60) Structure of proofs (03F07)

Recommendations

• Curry's paradox in contractionless constructive logic
• Principles for object-linguistic consequence: from logical to irreflexive
• Disarming a paradox of validity
• Naïve comprehension and contracting implications
• Logic without contraction as based on inclusion and unrestricted abstraction

Cites work

• Assertion, Denial and Non-classical Theories
• Axiomatizing Kripke's theory of truth
• Conservatively extending classical logic with transparent truth
• Constructive logic with strong negation is a substructural logic. I
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 3563038 (Why is no real title available?)
• scientific article; zbMATH DE number 2150328 (Why is no real title available?)
• scientific article; zbMATH DE number 3307531 (Why is no real title available?)
• Logical consequence and the paradoxes
• Multiple conclusions
• Outline of a Theory of Truth
• PLURALISM IN LOGIC
• Saving truth from paradox
• Semantical analysis of Arruda da Costa P systems and adjacent non- replacement relevant systems
• Simple consequence relations
• The pure calculus of entailment
• Universal logic

Cited in

(19)

• A consistent theory of attributes in a logic without contraction
• How to be really contraction free
• Naïve comprehension and contracting implications
• Structural weakening and paradoxes
• Faithfulness for naive validity
• Towards a non-classical meta-theory for substructural approaches to paradox
• There is no paradox of logical validity
• Noncontractive classical logic
• The original sin of proof-theoretic semantics
• On structural contraction and why it fails
• Note on deduction theorems in contraction-free logics
• The difficulties in using weak relevant logics for naive set theory
• Naive \textit{modus ponens}
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION
• External curries
• A note on Gödel, Priest and naïve proof
• Expressing validity: towards a self-sufficient inferentialism
• Principles for object-linguistic consequence: from logical to irreflexive

This page was built for publication: A note on contraction-free logic for validity

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