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

DOI10.1007/s11225-013-9471-xzbMath1342.03021OpenAlexW1968516098WikidataQ114017388 ScholiaQ114017388MaRDI QIDQ2016072

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

relevant logicCurry's paradoxdepth 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)

Related Items (3)

What is a relevant connective? ⋮ A pragmatic dissolution of Curry's paradox ⋮ Blocking the routes to triviality with depth relevance

Uses Software

• MaTest

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A general characterization of the variable-sharing property by means of logical matrices
• Depth relevance of some paraconsistent logics
• Hierarchical semantics for relevant logics
• Routes to triviality
• Relevant implication and the case for a weaker logic
• Generalizing the depth relevance condition: deep relevant logics not included in R-mingle
• Entailment and relevance¹
• Relevant entailment—semantics and formal systems
• The combinatory foundations of mathematical logic

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