Generalizing the depth relevance condition: deep relevant logics not included in R-mingle

DOI10.1215/00294527-1960461zbMath1408.03017OpenAlexW2057800623MaRDI QIDQ2443123

Yanyan Li

Publication date: 4 April 2014

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1390246442

zbMATH Keywords

logical matricesrelevant logicsdeep relevant logicsweak relevant matrices

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

Blocking the routes to triviality with depth relevance ⋮ Curry's paradox, generalized modus ponens axiom and depth relevance

Cites Work

• 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
• The semantics of entailment. III
• Relevant implication and the case for a weaker logic
• Begründung einer strengen Implikation
• Entailment and relevance¹

This page was built for publication: Generalizing the depth relevance condition: deep relevant logics not included in R-mingle