Curry's paradox, generalized modus ponens axiom and depth relevance

DOI10.1007/S11225-013-9471-XMaRDI QIDQ2016072zbMATH OpenOpenAlexWikidataFDO

Authors Yanyan Li

Publication date 19 June 2014

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-013-9471-x

zbMATH Keywords

Curry's paradoxrelevant logicdepth relevancegeneralized contraction rulegeneralized modus ponens axiomweak relevant model structures

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Recommendations

• scientific article; zbMATH DE number 63607
• When Curry met Abel
• External curries
• Fusion and confusion
• Paradoxes of Expression

Cites work

• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3784842 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 6965723 (Why is no real title available?)
• A general characterization of the variable-sharing property by means of logical matrices
• Depth relevance of some paraconsistent logics
• Entailment and relevance¹
• Generalizing the depth relevance condition: deep relevant logics not included in R-mingle
• Hierarchical semantics for relevant logics
• Relevant entailment—semantics and formal systems
• Relevant implication and the case for a weaker logic
• Routes to triviality
• The combinatory foundations of mathematical logic
• Universal logic

Cited in

(7)

• scientific article; zbMATH DE number 4045711 (Why is no real title available?)
• A pragmatic dissolution of Curry's paradox
• scientific article; zbMATH DE number 4137752 (Why is no real title available?)
• Curry's paradox and \(\omega \)-inconsistency
• Generalizing the depth relevance condition: deep relevant logics not included in R-mingle
• Blocking the routes to triviality with depth relevance
• What is a relevant connective?

Describes a project that uses

Uses Software

• MaTest

This page was built for publication: Curry's paradox, generalized modus ponens axiom and depth relevance

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