Curry's paradox, generalized modus ponens axiom and depth relevance
DOI10.1007/S11225-013-9471-XzbMATH Open1342.03021OpenAlexW1968516098WikidataQ114017388 ScholiaQ114017388MaRDI QIDQ2016072FDOQ2016072
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
Recommendations
Curry's paradoxrelevant logicdepth relevancegeneralized contraction rulegeneralized modus ponens axiomweak relevant model structures
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)
Cites Work
- Universal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Entailment and relevance1
- Routes to triviality
- Relevant entailment—semantics and formal systems
- Depth relevance of some paraconsistent logics
- Title not available (Why is that?)
- A general characterization of the variable-sharing property by means of logical matrices
- Relevant implication and the case for a weaker logic
- The combinatory foundations of mathematical logic
- Hierarchical semantics for relevant logics
- Generalizing the depth relevance condition: deep relevant logics not included in R-mingle
Cited In (7)
- Title not available (Why is that?)
- A pragmatic dissolution of Curry's paradox
- Title not available (Why is that?)
- 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?
Uses Software
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)
