External curries

DOI10.1007/S10992-014-9336-4zbMATH Open1329.03089OpenAlexW3189055144MaRDI QIDQ496329FDOQ496329

Authors: Heinrich Wansing, Graham Priest 

Publication date: 21 September 2015

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-014-9336-4

Recommendations

• Disarming a paradox of validity
• Fusion and confusion
• A note on contraction-free logic for validity
• Variations on a theme of Curry
• When Curry met Abel

zbMATH Keywords

contractionexternal validityCurry paradoxexternal consequence relationshigher-level sequent calculiinternal consequence relationsinternal validity

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) Structure of proofs (03F07)

Cites Work

• The semantics and proof theory of linear logic
• Logical consequence and the paradoxes
• There is no paradox of logical validity
• The inconsistency of certain formal logics
• Sequent-systems and groupoid models. I
• Rules in relevant logic. I: Semantic classification
• Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik

Cited In (7)

• Curry's paradox, generalized modus ponens axiom and depth relevance
• Variations on a theme of Curry
• A fully classical truth theory characterized by substructural means
• Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
• Faithfulness for naive validity
• When Curry met Abel
• Fusion and confusion

This page was built for publication: External curries

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