A note on contraction-free logic for validity

DOI10.1007/s11245-014-9241-zzbMath1382.03050OpenAlexW2049445104MaRDI QIDQ1708464

Zach Weber, Colin R. Caret

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

substructural logicCurry's paradox

Mathematics Subject Classification ID

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

Related Items (9)

Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ The original sin of proof-theoretic semantics ⋮ On structural contraction and why it fails ⋮ The Difficulties in Using Weak Relevant Logics for Naive Set Theory ⋮ Structural weakening and paradoxes ⋮ Towards a non-classical meta-theory for substructural approaches to paradox ⋮ Principles for object-linguistic consequence: from logical to irreflexive ⋮ Noncontractive classical logic ⋮ A Note on Gödel, Priest and Naïve Proof

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logical consequence and the paradoxes
• Simple consequence relations
• Constructive logic with strong negation is a substructural logic. I
• Semantical analysis of Arruda da Costa P systems and adjacent non- replacement relevant systems
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• PLURALISM IN LOGIC
• The pure calculus of entailment
• Outline of a Theory of Truth
• Assertion, Denial and Non-classical Theories
• Axiomatizing Kripke's theory of truth

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