External curries

DOI10.1007/S10992-014-9336-4MaRDI QIDQ496329zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

contractionCurry paradoxexternal consequence relationsexternal validityhigher-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)

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

Cites work

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

Cited in

(8)

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

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)